Catégories à Chipman, NB, PI-PP