##  [Adjunktion](/de/node/61593) 

 Definition

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

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

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

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

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

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

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

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

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.