## [Adjungierter Funktor](/de/node/63715) Definition Ein Paar von Funktoren L: C → D und R: D → C zusammen mit einer Familie natürlicher Bijektionen Hom_D(L(c), d) ≅ Hom_C(c, R(d)) für alle Objekte c in C und d in D, das eine universelle Korrespondenz zwischen Morphismen von L(c) und Morphismen in R(d) ausdrückt. ## Prinzip Prinzip Die Adjungation kodiert eine universelle Abbildungseigenschaft: ein Funktor ist die bestmögliche Approximation, auf einer Seite, zur Umkehr des anderen, eindeutig bis auf Isomorphismus bestimmt durch die natürliche Bijektion der Hom-Mengen und deren Natürlichkeit. ## Demonstration Demonstration Beispiel: die freie/vergessene Adjungation zwischen Mengen und Monoiden, wobei der linke Funktor einer Menge das freie Monoid zuordnet und der rechte Funktor die Monoidstruktur vergisst; Morphismen vom freien Monoid korrespondieren natürlich mit Abbildungen auf die Erzeuger. ## Fehlanwendung Fehlanwendung Eine Adjungation fälschlich als Kategorienisomorphismus zu behandeln oder anzunehmen, beide Funktoren würden sämtliche Limiten und Kolimiten erhalten, ohne die seitenabhängigen Erhaltungseigenschaften zu prüfen; anzunehmen, für jeden Funktor existiere ein Adjunkt ohne Existenzbedingungen zu prüfen. ## Konsequenz Konsequenz Existenz eines Adjunkts impliziert Erhaltungseigenschaften (linke Adjunkte erhalten Kolimiten, rechte Adjunkte erhalten Limiten), liefert kanonische Einheit- und Kounit-Abbildungen und erzeugt Monaden und Komonaden; Adjunkte sind bis auf einzigartigen Isomorphismus eindeutig. ## Umkehrung Umkehrung Die Umkehrung stellt eine echte Adjungation einer rein punktweisen Bijektion ohne Natürlichkeit gegenüber: eine solche Bijektion liefert weder Einheit noch Kounit mit den nötigen Kohärenzen und ist daher keine Adjungation. ## Abgrenzung Abgrenzung Adjungierte Funktoren setzen Kategorien mit Hom-Mengen und Natürlichkeit voraus; sie sind nicht für beliebige graphartige Strukturen definiert, und die Existenz kann in großen oder schlecht geordneten Kategorien scheitern; es geht um Morphismus-Korrespondenzen, nicht um Objektgleichheit. ## Semantische Spannung Semantische Spannung Adjungation steht in Spannung zu Äquivalenz: Eine Äquivalenz liefert gegenseitige Inversen bis auf Isomorphismus und stärkere Invarianz, während Adjungation eher eine universelle Approximation als eine vollständige Inversion beschreibt. ## Synthese Synthese Ein adjungiertes Funktorpaar fasst eine universelle Konstruktion kategorial zusammen: ein Funktor erzeugt frei oder kofrei Struktur, der andere rekonstruiert die zugrundeliegenden Daten; die natürlichen Bijektionen der Hom-Mengen liefern Einheit/Kounit und steuern die Erhaltung von Limiten und Kolimiten.