concept
en théorie des catégories, une généralisation de la notion de relation entre deux objets d'une catégorie