Catégorie

Une collection d'objets munie, pour chaque paire ordonnée d'objets X,Y, d'un ensemble Hom(X,Y) de morphismes et d'une loi de composition associative ◦ : Hom(Y,Z)×Hom(X,Y) → Hom(X,Z) ainsi que d'identités id_X pour chaque objet satisfaisant id_Y ◦ f = f et f ◦ id_X = f.