Une paire de foncteurs L : C → D et R : D → C munie d'une famille de bijections naturelles Hom_D(L(c), d) ≅ Hom_C(c, R(d)) pour tous objets c de C et d de D, exprimant une correspondance universelle entre flèches sortant de L(c) et flèches entrant dans R(d).

Principe

L'adjonction encode une propriété universelle : un foncteur est la meilleure approximation, d'un côté, à l'inversion de l'autre, caractérisée à isomorphisme unique près par la bijection naturelle entre hom-ensembles et sa naturalité.

Démonstration

Exemple : l'adjonction libre/oubli entre Ensembles et Monoïdes où le foncteur de gauche envoie un ensemble sur le monoïde libre engendré par celui-ci et le foncteur de droite oublie la structure de monoïde ; les morphismes depuis le monoïde libre correspondent naturellement aux applications définies sur les générateurs.

Mauvaise application

Prendre une adjonction pour un isomorphisme de catégories ou supposer que les deux foncteurs préservent toutes les limites et colimites sans vérifier les propriétés de préservation selon le côté ; affirmer l'existence d'un adjoint pour tout foncteur sans vérifier les conditions (complétude, petitesse).

Conséquence

La présence d'un adjoint impose des propriétés de préservation (les foncteurs à gauche préservent les colimites, les foncteurs à droite préservent les limites), fournit des maps unit/counit canoniques et engendre des monades et comonades ; un adjoint est unique à isomorphisme unique près.

Inversion

La réversion oppose une véritable adjonction à une simple famille de bijections dépourvue de naturalité : une bijection point par point sans naturalité ne produit ni unité ni counité cohérentes et n'établit pas une adjonction.

Limite

Les foncteurs adjoints exigent des catégories munies d'hom-ensembles et de la naturalité ; ils ne sont pas définis sur des structures graphes sans composition, et leur existence peut échouer pour des catégories trop grandes ou mal comportées ; il s'agit de correspondances de morphismes, non d'égalité d'objets.

Tension sémantique

L'adjonction est en tension avec l'équivalence : une équivalence donne des foncteurs mutuellement inverses à isomorphisme près et une invariance plus forte, tandis qu'une adjonction représente souvent une approximation universelle plutôt qu'une inversion complète.

Synthèse

Une paire de foncteurs adjoints formalise catégoriquement une construction universelle : un foncteur construit librement ou co-construit une structure et l'autre en récupère les données sous-jacentes, reliés par des bijections naturelles des hom-ensembles qui produisent unité/counité et contrôlent la préservation des limites et colimites.