Catégories à O'Leary, PE, PI-PP