##  [Catégorie](/fr/node/60212) 

  ##  [Catégorie](https://mathlogic.quantumdictionary.io/fr/node/60213) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

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.