Une paire de foncteurs L: C -> D et R: D -> C telle qu'il existe une bijection naturelle Hom_D(Lc, d) ≅ Hom_C(c, Rd) pour tous objets c de C et d de D ; L est adjoint à gauche de R et R est adjoint à droite de L.

Principe

Les adjonctions sont organisées par des transformations naturelles unité et counité satisfaisant les identités triangulaires ; de manière équivalente, la bijection d'adjonction est naturelle dans les deux variables et détermine L et R à unique isomorphisme près lorsqu'ils existent.

Démonstration

Exemple : le couple libre–oubli entre ensembles et groupes : le foncteur groupe libre est adjoint à gauche du foncteur oubli, exprimant les applications universelles depuis des générateurs vers des objets groupe et réalisant des constructions par une propriété universelle.

Mauvaise application

Supposer que l'existence de tous les adjoints à gauche découle formellement de certains limites, ou affirmer qu'un adjoint existe sans vérifier la naturalité ou les identités triangulaires, conduit à des affirmations fausses ; confondre adjoints gauche/droite ou ignorer les contraintes de taille est une erreur fréquente.

Conséquence

Les foncteurs adjoints préservent les (co)limites : les adjoints à gauche préservent les colimites et les adjoints à droite préservent les limites ; les adjonctions organisent les constructions universelles et fournissent factorisations canoniques ainsi que des réflexions/coreflexions.

Inversion

Inverser une adjonction échange gauche et droite : un adjoint à gauche devient adjoint à droite dans les catégories opposées, convertissant les propriétés de préservation de colimites en préservation de limites et échangeant les rôles d'unité et de counité.

Limite

Les adjonctions se situent dans le cadre catégorique et exigent naturalité et identités triangulaires ; tous les foncteurs n'ont pas d'adjoint et l'existence peut être obstructée par la taille, la présentabilité ou l'absence des (co)limites nécessaires.

Tension sémantique

Tension entre la description d'un adjoint comme bijection d'ensembles de morphismes (vue synthétique) et comme construction concrète (objets libres, limites) ; les confondre peut masquer si l'adjoint est donné par une formule explicite ou seulement de façon abstraite.

Synthèse

Une paire de foncteurs adjoints encapsule une relation universelle réversible : un foncteur construit librement ou co-agit, l'autre oublie ou évalue, et les bijections d'hom-ensembles ainsi que unité/counité codent cette correspondance universelle.