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

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

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

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

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

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

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

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

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.