Catégories à High Level, AB, PI-PP