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

 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.

 

 

 

 

 

 





## Principe

Principe

Les relations abstraites (morphismes) entre objets, avec composition et identités permettant d'exprimer des propriétés structurelles indépendamment des constructions par éléments.

 

 

 

 

 





## Démonstration

Démonstration

La catégorie Set a pour objets les ensembles et pour morphismes les fonctions ; la composition est la composition des fonctions et les identités sont les fonctions identiques, satisfaisant associativité et lois d'identité.

 

 

 

 

## Mauvaise application

Mauvaise application

Prendre des relations arbitraires ou des applications multivaluées comme morphismes sans vérification de la composabilité et de l'associativité compromet le raisonnement catégorique ; oublier les identités rend caduques les constructions universelles.

 

 

 

 

 





## Conséquence

Conséquence

Les catégories fournissent un langage unificateur pour exprimer limites, colimites, adjoints et fonctorialité, permettant le transfert de structures entre domaines via foncteurs et transformations naturelles.

 

 

 

 

## Inversion

Inversion

Inverser les flèches dans une catégorie donne la catégorie opposée, qui inverse la direction des morphismes et échange limites et colimites ; ignorer la directionnalité efface des asymétries significatives.

 

 

 

 

 





## Limite

Limite

Exclut les structures sans composition associative et identités bien définies ; les questions de taille (catégories grandes vs petites) et l'enrichissement (catégories enrichies) sont des extensions, non la définition de base.

 

 

 

 

 





## Tension sémantique

Tension sémantique

Conflit avec l'usage courant de « catégorie » comme simple classement ; en théorie des catégories l'accent porte sur objets et morphismes avec structure de composition plutôt que sur un regroupement.

 

 

 

 

 





## Synthèse

Synthèse

Une catégorie est un cadre algébrique (Objets, Morphismes, Composition, Identités) codant des relations composables pour étudier motifs structurels, propriétés universelles et transformations entre domaines mathématiques.