catégorie enrichie

concept extension du concept de catégorie