Catégories à Tangent, AB, PI-PP