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

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

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

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

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

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

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

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

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.