Adjungierte Funktoren

Adjungierte Funktoren sind Paare von Funktoren, die durch eine natürliche Entsprechung zwischen Morphismen miteinander verbunden sind. Dieses durchgängige Muster erfasst freie Konstruktionen, vergessliche Funktoren und optimale Lösungen in der gesamten Mathematik.

Definition

Ein Funktor ist linksadjungiert zu einem Funktor in der entgegengesetzten Richtung, wenn es eine natürliche Bijektion zwischen Morphismen von einem Objekt der Quelle zum Bild eines Objekts und Morphismen von dessen Bild zu diesem Objekt gibt; diese einzelne Beziehung kodiert eine universelle Eigenschaft für jedes Objekt.

Scope

Dieses Thema behandelt die Definition einer Adjunktion durch eine natürliche Bijektion von Hom-Mengen, die äquivalenten Formulierungen über Einheit und Koeinheit sowie über universelle Pfeile, die Erhaltung von Limiten durch Rechtsadjunktionen und von Kolimiten durch Linksadjunktionen, die Sätze über adjungierte Funktoren und die Verbindung zwischen Adjunktionen und Monaden.

Core questions

• Welche natürliche Entsprechung definiert eine Adjunktion zwischen zwei Funktoren?
• Wie kodieren die Einheit und Koeinheit die Adjunktion?
• Warum erhalten Rechtsadjunktionen Limiten und Linksadjunktionen Kolimiten?
• Wann hat ein Funktor einen Adjungierten?

Key theories

Hom-Mengen-Adjunktion

Eine Adjunktion ist ein natürlicher Isomorphismus zwischen zwei Hom-Funktoren, sodass jeder Linksadjungierte die freie oder effizienteste Lösung für ein Problem liefert, das durch den Rechtsadjungierten gestellt wird.

Einheit, Koeinheit und Dreiecksidentitäten

Eine Adjunktion ist äquivalent durch natürliche Transformationen von Einheit und Koeinheit gegeben, die die Dreiecksidentitäten erfüllen – eine Beschreibung, die gut für Berechnungen und zur Definition von Monaden geeignet ist.

Erhaltung von Limiten und Kolimiten

Rechtsadjunktionen erhalten alle Limiten und Linksadjunktionen erhalten alle Kolimiten, eine Tatsache, die viele Kontinuitäts- und Exaktheitseigenschaften erklärt und die Sätze über adjungierte Funktoren stützt, die Existenzkriterien liefern.

Clinical relevance

Adjunktionen gehören zu den vereinheitlichendsten Ideen der Mathematik: freie Gruppen, Tensor-Hom-Beziehungen, die Stone-Čech-Kompaktifizierung und die Beziehung zwischen Syntax und Semantik in der Logik sind alles Adjunktionen. Das Erkennen einer Adjunktion liefert sofort universelle Eigenschaften und Erhaltungsergebnisse, weshalb Kategorientheoretiker die Adjungiertheit als zentrales Konzept betrachten.

History

Daniel Kan führte 1958 adjungierte Funktoren ein und erkannte das wiederkehrende Muster, das freie und vergessliche Funktoren sowie andere duale Konstruktionen miteinander verbindet. Lawvere hob Adjunktionen als grundlegend hervor, einschließlich der Adjungiertheit zwischen Syntax und Semantik, und Freyds Sätze über adjungierte Funktoren lieferten allgemeine Bedingungen für die Existenz von Adjunktionen.

Key figures

• Daniel Kan
• Saunders Mac Lane
• F. William Lawvere
• Peter Freyd

Seminal works

• maclane1998
• awodey2010
• riehl2016

Frequently asked questions

Was ist ein bekanntes Beispiel für eine Adjunktion?

Der freie Gruppenfunktor ist linksadjungiert zum Funktor, der die Gruppenstruktur einer Gruppe auf ihre zugrunde liegende Menge vergisst. Abbildungen von einer Menge in eine Gruppe entsprechen natürlich Homomorphismen von der freien Gruppe auf dieser Menge, was genau die Adjunktionsbijektion ist.

Warum sagen Mathematiker, dass adjungierte Funktoren überall auftreten?

Freie Konstruktionen, Vervollständigungen, Produkte und Exponentiale sowie viele Beziehungen zwischen einer Struktur und einem einfacheren Schatten davon sind Adjunktionen. Das Muster ist so verbreitet, dass das Erkennen einer Adjunktion oft der schnellste Weg zur universellen Eigenschaft einer Konstruktion und ihrer Erhaltung von Limiten oder Kolimiten ist.