Catégories à Vars, ON, PI-PP