Ein Paar von Funktoren L: C -> D und R: D -> C derart, dass es für alle Objekte c in C und d in D eine natürliche Bijektion Hom_D(Lc, d) ≅ Hom_C(c, Rd) gibt; L ist linksadjungiert zu R und R ist rechtsadjungiert zu L.

Prinzip

Adjunktionen werden durch Einheits- und Koheitstransformationen organisiert, die die Dreiecksidentitäten erfüllen; äquivalent bestimmt die Adjungiertheitsbijektion L und R bis auf eindeutige Isomorphie, sofern sie existieren.

Demonstration

Beispiel: Das Frei–Vergiss-Paar zwischen Mengen und Gruppen: der freie Gruppenfunktor ist linksadjungiert zum Vergissfunktor; dies codiert universelle Abbildungen von Erzeugern in Gruppenobjekte und realisiert Konstruktionen durch eine universelle Eigenschaft.

Fehlanwendung

Die Annahme, dass die Existenz aller linken Adjunkten formell aus bestimmten Limiten folgt, oder die Behauptung, ein Adjunkt existiere ohne Naturalität oder Dreiecksidentitäten zu prüfen, führt zu falschen Adjunktionsbehauptungen; auch die Verwechslung von links/rechts oder das Ignorieren von Größeneinschränkungen ist ein häufiger Fehler.

Konsequenz

Adjungierte Funktoren erhalten (Ko-)Limiten: linke Adjunkte erhalten Kolimiten und rechte Adjunkte erhalten Limiten; Adjunktionen organisieren universelle Konstruktionen und liefern kanonische Faktorisierungen sowie Reflexionen/Coreflexionen.

Umkehrung

Das Umkehren einer Adjunktion tauscht links und rechts: ein linker Adjunkt wird in den Gegenkategorien zum rechten Adjunkten, wodurch kolimitserhaltende Eigenschaften in limitserhaltende umgewandelt werden und Einheit mit Koheit vertauscht wird.

Abgrenzung

Adjunktionen gehören in den kategorialen Rahmen und erfordern Naturalität und Dreiecksidentitäten; nicht jeder Funktor besitzt einen Adjunkten, und die Existenz kann durch Größen-, Präsentierbarkeits- oder (Ko-)Limit-Mängel verhindert werden.

Semantische Spannung

Spannung besteht zwischen der Darstellung eines Adjunkts als Bijektion von Hom-Mengen (synthetisch) und als konkreter Konstruktion (freie Objekte, Limiten); ihre Vermischung kann verbergen, ob der Adjunkt explizit oder nur abstrakt gegeben ist.

Synthese

Ein adjungierter Funktor fasst eine umkehrbare universelle Beziehung zusammen: ein Funktor erzeugt frei oder ko-wirkt, der andere vergisst oder wertet aus, und Hom-Bijektionen mit Einheit/Koheit kodieren diese universelle Übereinstimmung.