Donnée d'une paire de foncteurs L : C → D et R : D → C munie, pour tout X dans C et Y dans D, d'une bijection naturelle Hom_D(L(X),Y) ≅ Hom_C(X,R(Y)) naturelle en X et Y. Équivalemment spécifiée par des transformations naturelles unité et counité satisfaisant les identités triangulaires. Elle encode une relation d'approximation universelle : L est adjoint à gauche de R et R est adjoint à droite de L.

Principe

L'adjonction formalise une correspondance universelle entre morphismes à travers des catégories : les flèches sortant d'un adjoint à gauche correspondent aux flèches entrant dans un adjoint à droite, et unité/counité donnent des flèches universelles médiant l'approximation.

Démonstration

Adjonction libre‑oublieuse entre Ens et Groupe : le foncteur à gauche F associe à un ensemble S le groupe libre engendré par S ; le foncteur à droite U est le foncteur d'oubli U(G)=ensemble sous‑jacent du groupe G. Pour tout ensemble S et groupe G, les homomorphismes de groupes F(S)→G correspondent naturellement aux applications d'ensembles S→U(G). L'unité insère les générateurs, la counité évalue la flèche universelle.

Mauvaise application

Supposer que toute paire de foncteurs avec une correspondance composante par composante entre ensembles de morphismes constitue une adjonction sans vérifier la naturalité ou les identités triangulaires. Confondre adjoint et inverse strict : les adjoints ne sont pas nécessairement inverses ni pleinement fidèles.

Conséquence

Les adjonctions produisent des constructions universelles (objets libres, co‑libres, (co)limites), induisent des monades et comonades, et gouvernent l'existence de certains (co)limites et de situations de réflexion/coreflection ; elles unifient de nombreuses constructions en mathématiques.

Inversion

Échanger la bijection inverse la direction de l'adjonction (échanger gauche et droite). Nier la naturalité ou les identités triangulaires réduit la structure à des correspondances informelles sans propriété universelle.

Limite

Les adjonctions exigent des foncteurs entre catégories données et la naturalité en les deux variables ; elles n'affirment pas l'isomorphisme des catégories, et les adjoints à gauche/droite peuvent ne pas exister ou être uniques seulement à isomorphisme près.

Tension sémantique

Sens proches : « foncteur inverse » (inverse strict) vs « adjoint » (correspondance universelle plus faible). La tension vient du fait que les adjoints se comportent parfois comme des inverses sur certains objets sans être des équivalences en général.

Synthèse

Une adjonction est l'expression catégorique d'une dualité d'approximation optimale entre deux foncteurs, donnée soit par une bijection naturelle d'ensembles de morphismes, soit par unité/counité satisfaisant les identités triangulaires, et qui unifie de nombreuses constructions universelles.