Daten eines Paars von Funktoren L : C → D und R : D → C zusammen mit für jedes X in C und Y in D einer natürlichen Bijektion Hom_D(L(X),Y) ≅ Hom_C(X,R(Y)), die in X und Y natürlich ist. Äquivalent durch Einheit und Kounit als natürliche Transformationen mit Erfüllung der Dreiecksidentitäten. Sie kodiert eine universelle Bestapproximation: L ist linksadjungiert zu R, R rechtsadjungiert zu L.

Prinzip

Adjunktion formalisiert eine universelle Korrespondenz zwischen Morphismen über Kategorien hinweg: Abbildungen aus dem linken Adjunkten entsprechen Abbildungen in den rechten Adjunkten, Einheit/Kounit geben universelle Pfeile, die die Approximation vermitteln.

Demonstration

Freie‑Vergessen‑Adjunktion zwischen Set und Group: Der linke Funktor F ordnet einer Menge S die von S erzeugte freie Gruppe zu; der rechte Funktor U ist der Vergissfunktor U(G)=die zugrundeliegende Menge von G. Für jede Menge S und Gruppe G entsprechen Gruppenhomomorphismen F(S)→G natürlich den Mengenabbildungen S→U(G). Die Einheit fügt die Erzeuger ein, die Kounit wertet ab.

Fehlanwendung

Jedes Paar von Funktoren automatisch für adjungiert zu halten, nur weil es komponentenweise Abbildungen zwischen Hom‑Mengen gibt, ohne Natürlichkeit oder Dreiecksidentitäten zu prüfen. Auch Adjunktion mit strikter Inversität zu verwechseln: Adjunkte müssen nicht invertierbar oder volltreu sein.

Konsequenz

Adjunktionen erzeugen universelle Konstruktionen (freie Objekte, cofreie Objekte, (Ko)Limiten), induzieren Monaden und Komonaden und steuern Existenz bestimmter (Ko)Limiten sowie Reflexions‑/Koreflectionsituationen; sie vereinheitlichen viele Konstruktionen in der Mathematik.

Umkehrung

Die Umkehrung der Bijektion kehrt die Richtung der Adjunktion um (links↔rechts). Das Negieren der Natürlichkeit oder Dreiecksidentitäten reduziert die Struktur auf informelle Korrespondenzen ohne universelle Eigenschaft.

Abgrenzung

Adjunktionen verlangen Funktoren zwischen festgelegten Kategorien und Natürlichkeit in beiden Variablen; sie behaupten kein Kategorien‑Isomorphismus, und Links‑/Rechtsadjunkte können nicht existieren oder nur bis auf Isomorphie eindeutig sein.

Semantische Spannung

Nahe Begriffe: »strikter inverser Funktor« vs. »Adjunktion« (schwächere universelle Korrespondenz). Die Spannung entsteht, weil Adjunkte sich auf bestimmten Objekten wie Inverse verhalten können, im Allgemeinen aber keine Äquivalenz darstellen.

Synthese

Eine Adjunktion ist der kategoriale Ausdruck einer bestmöglichen Approximation zwischen zwei Funktoren, gegeben durch eine natürliche Bijektion der Hom‑Mengen oder durch Einheit/Kounit mit Dreiecksidentitäten, die viele universelle Konstruktionen vereinigt.