Une relation entre deux foncteurs L : C → D et R : D → C donnée par une bijection naturelle Hom_D(L(X), Y) ≅ Hom_C(X, R(Y)) naturelle en X∈C et Y∈D, spécifiable de façon équivalente par une unité η : Id_C ⇒ R∘L et une counité ε : L∘R ⇒ Id_D satisfaisant les identités triangulaires.

Principe

L'adjonction formalise les constructions universelles : L est adjoint à gauche de R si L génère librement des objets de D à partir d'objets de C selon une propriété universelle réalisée par la bijection des ensembles de morphismes ; l'unité et la counité encodent cette correspondance universelle et doivent vérifier des identités de cohérence (triangles).

Démonstration

La paire libre–oubli F : Set → Ab (groupe abélien libre) et U : Ab → Set (oubli) forme une adjonction F ⊣ U : pour tout ensemble S et tout groupe abélien A, les homomorphismes de groupes F(S)→A correspondent naturellement aux applications de ensembles S→U(A). L'unité envoie chaque élément de S sur son générateur dans Z[S] et la counité évalue les sommes formelles.

Mauvaise application

Confondre adjonction et équivalence (une paire adjointe n'est pas forcément inversible) ou supposer l'existence d'adjoints sans vérifier des conditions de taille ou de (co)complétude ; prétendre être en présence d'une bijection des Hom sans naturalité dans les deux variables est une erreur fréquente.

Conséquence

Les adjonctions produisent des constructions canoniques (objets libres, localisations, complétions), induisent des monades et comonades, et offrent un moyen souple de construire et reconnaître des propriétés universelles en théorie des catégories et en algèbre.

Inversion

La notion inversée échange gauche et droite : si L ⊣ R alors R est adjoint à droite de L ; inverser complètement une adjonction en une équivalence exige des données supplémentaires (unité et counité qui sont des isomorphismes), ce qui est plus fort que la simple adjonction.

Limite

Les adjonctions exigent des foncteurs entre catégories avec Hom-ensembles bien définis ; leur existence dépend de conditions de (co)complétude catégorique ou de petitesse. Tous les foncteurs n'ont pas d'adjoint à gauche ou à droite ; l'adjonction est une propriété structurelle, non automatique.

Tension sémantique

Les adjonctions sont souvent confondues avec des connexions de Galois ou des équivalences inverses : les connexions de Galois sont des analogues en théorie des ordres mais manquent la naturalité catégorique complète, et l'équivalence de catégories est plus stricte que l'adjonction parce qu'elle exige des unités/counités inversibles à isomorphisme près.

Synthèse

Une adjonction est une bijection naturelle des Hom (ou une unité/counité satisfaisant les identités triangulaires) entre deux foncteurs, codifiant une correspondance universelle de type 'libre/oubli' et donnant naissance à des constructions canoniques et à des structures algébriques comme les monades.