Catégories à Assumption, AB, PI-PP