Eine Beziehung zwischen zwei Funktoren L : C → D und R : D → C, gegeben durch eine natürliche Bijektion Hom_D(L(X), Y) ≅ Hom_C(X, R(Y)), natürlich in X∈C und Y∈D, äquivalent spezifizierbar durch eine Einheit η: Id_C ⇒ R∘L und eine Kounit ε: L∘R ⇒ Id_D, die die Dreiecksidentitäten erfüllen.

Prinzip

Adjunktion formalisieren universelle Konstruktionen: L ist linksadjungiert zu R, wenn L D-Objekte 'frei' aus C-Objekten erzeugt gemäß einer universellen Eigenschaft, realisiert durch die Bijektion der Hom-Mengen; Einheit und Kounit kodieren diese universelle Korrespondenz und müssen kohärente Dreiecksidentitäten erfüllen.

Demonstration

Das freie–vergessene Paar F : Set → Ab (freie abelsche Gruppe) und U : Ab → Set (Vergissfunktor) bildet eine Adjunktion F ⊣ U: für jede Menge S und jede abelsche Gruppe A entsprechen Gruppenhomomorphismen F(S)→A natürlich den Mengenabbildungen S→U(A). Die Einheit sendet Elemente von S auf ihre Erzeuger in Z[S], die Kounit wertet formale Summen aus.

Fehlanwendung

Adjungiertheit mit Äquivalenz verwechseln (ein adjungiertes Paar ist nicht notwendigerweise invertierbar) oder das Vorhandensein von Adjunkten ohne Prüfung von Größen-/ (Ko)Vollständigkeitsbedingungen annehmen; eine behauptete Bijektion der Hom-Mengen ohne Natürlichkeit in beiden Variablen ist ein häufiger Fehler.

Konsequenz

Adjunktionen liefern kanonische Konstruktionen (freie Objekte, Lokalisierungen, Komplettierungen), induzieren Monaden und Komonaden und bieten ein flexibles Mittel, universelle Eigenschaften in Kategorientheorie und Algebra zu konstruieren und zu erkennen.

Umkehrung

Die Umkehrung vertauscht links und rechts: wenn L ⊣ R, dann ist R rechtsadjungiert zu L; eine vollständige Umkehrung zu einer Äquivalenz erfordert zusätzliche Daten (Einheit und Kounit sind Isomorphismen), was stärker ist als bloße Adjunktion.

Abgrenzung

Adjunktionen setzen Funktoren zwischen Kategorien mit definierten Hom-Mengen voraus; ihre Existenz hängt von Kategorieneigenschaften wie (Ko)Vollständigkeit oder Smallness ab. Nicht jeder Funktor besitzt einen linken oder rechten Adjunkten; Adjunktion ist eine strukturelle Eigenschaft.

Semantische Spannung

Adjunktionen werden oft mit Galois-Verbindungen oder inversen Äquivalenzen verwechselt: Galois-Verbindungen sind ordnungstheoretische Analogien ohne die vollständige kategoriale Natürlichkeit, und Kategorienäquivalenz ist strenger als Adjunktion, da sie die Umkehrbarkeit der Einheit/Kounit bis auf Isomorphismus verlangt.

Synthese

Eine Adjunktion ist eine natürliche Bijektion der Hom-Mengen (oder Einheit/Kounit mit Dreiecksidentitäten) zwischen zwei Funktoren, die eine universelle 'frei/vergiss'-Korrespondenz codiert und kanonische Konstruktionen sowie Monaden hervorbringt.