Catégories à Souris, PE, PI-PP