In der Mathematik adjoint sind functors Paare von functors, die in einer besonderen Beziehung miteinander, genannt einen adjunction stehen. Die Beziehung von adjunction ist in der Mathematik allgegenwärtig, weil es streng die intuitiven Begriffe der Optimierung und Leistungsfähigkeit widerspiegelt. Es wird in der Allgemeinheit durch den Zweig der als Kategorie-Theorie bekannten Mathematik studiert.

In der kürzesten symmetrischen Definition, einem adjunction zwischen Kategorien C und D ist ein Paar von functors,

: und

und eine Familie von Bijektionen

:

der in den Variablen X und Y natürlich ist. Der functor F wird einen linken adjoint functor genannt, während G ein Recht adjoint functor genannt wird. Der Beziehung "F wird adjoint zu G verlassen" (oder gleichwertig, "G ist richtiger adjoint zu F"), wird manchmal geschrieben

:

Diese Definition und andere werden genau unten gemacht.

Einführung

"Der Slogan ist 'Adjoint functors entstehen überall'." (Saunders Mac Lane, Kategorien für den Arbeitsmathematiker)

Die lange Liste von Beispielen in diesem Artikel ist nur eine teilweise Anzeige dessen, wie oft ein interessanter mathematischer Aufbau ein adjoint functor ist. Infolgedessen können allgemeine Lehrsätze über linken/richtigen adjoint functors, wie die Gleichwertigkeit ihrer verschiedenen Definitionen oder der Tatsache, dass sie beziehungsweise colimits/limits bewahren (die auch in jedem Gebiet der Mathematik gefunden werden), die Details von vielen nützlich und sonst nichttriviale Ergebnisse verschlüsseln.

Motivation

Eine gute Weise, adjoint functors zu motivieren, soll vage erklären, welches Problem sie beheben, und wie sie es lösen. (Diese Motivation verläuft zu den Definitionen über universalen morphisms unten parallel.)

Adjoint functors als formulaic Lösungen von Optimierungsproblemen

Es kann gesagt werden, dass ein adjoint functor eine Weise ist, die effizienteste Lösung eines Problems über eine Methode zu geben, die formulaic ist. Zum Beispiel besteht ein elementares Problem in der Ringtheorie darin, wie man einen rng dreht (der einem Ring ähnlich ist, der keine multiplicative Identität haben könnte) in einen Ring. Der effizienteste Weg ist, an ein Element '1' dem rng anzugrenzen, an alle (und nur) die Elemente anzugrenzen, die notwendig sind, für die Ringaxiome (z.B r+1 für jeden r im Ring) zu befriedigen, und erlegen keine Beziehungen im kürzlich gebildeten Ring auf, die durch Axiome nicht gezwungen werden. Außerdem ist dieser Aufbau formulaic im Sinn, dass es auf im Wesentlichen dieselbe Weise für jeden rng arbeitet.

Das, ist obwohl andeutend, ziemlich vage, und kann genau auf der Sprache der Kategorie-Theorie gemacht werden: Ein Aufbau ist am effizientesten, wenn er ein universales Eigentum befriedigt, und formulaic ist, wenn er einen functor definiert. Universale Eigenschaften kommen in zwei Typen: anfängliche Eigenschaften und Endeigenschaften. Da das (entgegengesetzte) Doppelbegriffe sind, ist es nur notwendig, einen von ihnen zu besprechen.

Die Idee, ein anfängliches Eigentum zu verwenden, ist, das Problem in Bezug auf eine Hilfskategorie E aufzustellen, und dann das zu identifizieren, was wir wollen, soll einen anfänglichen Gegenstand von E finden. Das hat einen Vorteil, dass die Optimierung — der Sinn, dass wir die effizienteste Lösung finden — etwas Strenges bedeutet und eher wie die Erreichung eines Supremums erkennbar ist. Wenn er die richtige Kategorie aufpickt, ist E etwas eines Kniffs: Nehmen Sie zum Beispiel den gegebenen rng R, und machen Sie eine Kategorie E, dessen Gegenstände rng Homomorphismus R  S, mit S ein Ring sind, der eine multiplicative Identität hat. Die morphisms in E zwischen R  S und R  S sind Ersatzdreiecke der Form (R  S, R  S, S  S), wo S  S eine Ringkarte ist (der die Identität bewahrt). Die Existenz eines morphism zwischen R  S und R  S deutet an, dass S mindestens eine so effiziente Lösung ist wie S zu unserem Problem: S kann an Elemente und/oder mehr Beziehungen mehr angegrenzt haben, die nicht durch Axiome auferlegt sind als S.

Deshalb bedeutet die Behauptung, dass ein Gegenstand R  R* in E anfänglich ist, d. h. dass es einen morphism davon bis jedes andere Element von E gibt, dass der Ring R* eine effizienteste Lösung unseres Problems ist.

Die zwei Tatsachen, dass diese Methode, rngs in Ringe zu verwandeln, am effizientesten ist und formulaic, können gleichzeitig durch den Ausspruch ausgedrückt werden, dass es einen adjoint functor definiert.

Die verborgene Symmetrie von Optimierungsproblemen

Wenn Sie

diese Diskussion fortsetzen, nehmen Sie an, dass wir mit dem functor F angefangen haben, und die folgende (vage) Frage gestellt haben: Gibt es ein Problem welcher F ist die effizienteste Lösung?

Der Begriff, dass F die effizienteste Lösung des durch G aufgeworfenen Problems ist, ist in einem bestimmten strengen Sinn, der zum Begriff gleichwertig ist, dass G das schwierigste Problem aufwirft, das F löst.

Das hat das intuitive Meinen, dass adjoint functors in Paaren vorkommen sollte, und tatsächlich sie tun, aber das ist aus den universalen morphism Definitionen nicht trivial. Die gleichwertigen symmetrischen Definitionen, die adjunctions einschließen, und die symmetrische Sprache von adjoint functors (können wir entweder F sagen, werden verlassen adjoint zu G oder G ist richtiger adjoint zu F) sind im Vorteil, diese Tatsache ausführlich zu machen.

Formelle Definitionen

Es gibt verschiedene Definitionen für adjoint functors. Ihre Gleichwertigkeit ist elementar, aber überhaupt nicht trivial und tatsächlich hoch nützlich. Dieser Artikel stellt solche mehreren Definitionen zur Verfügung:

• Die Definitionen über universalen morphisms sind leicht, minimale Überprüfungen festzusetzen, und zu verlangen, wenn sie einen adjoint functor bauen oder beweisen, dass zwei functors adjoint sind. Sie sind auch unserer Intuition am analogsten, die Optimierungen einschließt.
• Die Definition über die Counit-Einheit adjunction ist für Beweise über functors günstig, die, wie man bekannt, adjoint sind, weil sie Formeln zur Verfügung stellen, die direkt manipuliert werden können.
• Die Definition über Hom-Sätze macht Symmetrie das am meisten offenbare, und ist der Grund dafür, das Wort adjoint zu verwenden.

Adjoint functors entstehen überall in allen Gebieten der Mathematik. Ihre volle Nützlichkeit liegt darin die Struktur in einigen dieser Definitionen verursacht die Strukturen in anderen über eine lange, aber triviale Reihe von Abzügen. So macht die Schaltung zwischen ihnen impliziten Gebrauch sehr viel langweiliger Details, die getrennt in jedem Sachgebiet würden sonst wiederholt werden müssen. Zum Beispiel kann naturality und terminality des counit verwendet werden, um zu beweisen, dass jedes Recht adjoint functor Grenzen bewahrt.

Eine nützliche Schreiben-Tagung

Die Theorie von adjoints hat die Begriffe und direkt an seinem Fundament übrig, und es gibt viele Bestandteile, die in einer von zwei Kategorien C und D leben, die unter der Rücksicht sind. Es kann deshalb äußerst nützlich sein, Briefe in alphabetischer Reihenfolge gemäß zu wählen, ob sie in der "linken" Kategorie C oder der "rechten" Kategorie D leben, und auch sie in dieser Ordnung wann immer möglich niederzuschreiben.

In diesem Artikel zum Beispiel werden die Briefe X, F, f, ε Dinge durchweg anzeigen, die in der Kategorie C leben, werden die Briefe Y, G, g, η Dinge durchweg anzeigen, die in der Kategorie D leben, und wann immer möglich auf solche Dinge in der Ordnung vom linken bis Recht verwiesen wird (ein functor kann von F:CD als "das Leben" gedacht werden, wo seine Produktionen, in C sind).

Definitionen über universalen morphisms

Ein functor F: C  ist D ein linker adjoint functor, wenn für jeden Gegenstand X in C, dort ein Terminal morphism von F bis X besteht. Wenn, für jeden Gegenstand X in C, wir einen Gegenstand GX von D und einem Terminal morphism ε wählen: F (GX)  X von F bis X dann gibt es einen einzigartigen functor G: C  D solch dass GX = GX und ε FG (f) = f ε für f: X  X  ein morphism in C; F wird dann einen linken adjoint zu G genannt.

Ein functor G: C  ist D ein Recht adjoint functor, wenn für jeden Gegenstand Y in D, dort eine Initiale morphism von Y bis G besteht. Wenn, für jeden Gegenstand Y in D, wir einen Gegenstand FY von C und einer Initiale morphism η wählen: Y  G (FY) von Y bis G dann gibt es einen einzigartigen functor F: C  D solch dass FY = FY und GF (g) η = η g für g: Y  Y  ein morphism in D; G wird dann ein Recht adjoint zu F genannt.

Bemerkungen:

Es ist wahr, weil die Fachsprache einbezieht, dass F adjoint zu G verlassen wird, wenn, und nur wenn G richtiger adjoint zu F ist. Das ist aus den symmetrischen Definitionen offenbar, die unten gegeben sind. Die Definitionen über universalen morphisms sind häufig nützlich, um festzustellen, dass ein gegebener functor verlassen wird oder Recht adjoint, weil sie minimalistic in ihren Voraussetzungen sind. Sie sind auch in dieser Entdeckung intuitiv bedeutungsvoll, dass ein universaler morphism dem Lösen eines Optimierungsproblems ähnlich ist.

Definition über die Counit-Einheit adjunction

Eine Counit-Einheit adjunction zwischen zwei Kategorien C und D besteht aus zwei functors F: C  D und G: C  D und zwei natürliche Transformationen

:

\varepsilon &: FG \to 1_ {\\mathcal C\\\

\eta &: 1_ {richten} {\\mathcal D\\to GF\end </Mathematik> {aus}

beziehungsweise genannt den counit und die Einheit des adjunction (Fachsprache von der universalen Algebra), solch dass die Zusammensetzungen

::

sind die Identitätstransformationen 1 und 1 auf F und G beziehungsweise.

In dieser Situation sagen wir, dass F adjoint zu G verlassen wird und G richtiger adjoint zu F ist, und diese Beziehung durch das Schreiben, oder einfach anzeigen kann.

In der Gleichungsform sind die obengenannten Bedingungen auf (ε,η) die Counit-Einheitsgleichungen

:

1_F &= \varepsilon F\circ F\eta \\

1_G &= G\varepsilon \circ \eta G

\end {richten} </Mathematik> {aus}

die das für jeden X in C und jedem Y in D, bedeuten

:

1_ {FY} &= \varepsilon_ {FY }\\circ F (\eta_Y) \\

1_ {GX} &= G (\varepsilon_X) \circ\eta_ {GX }\

\end {richten} </Mathematik> {aus}.

Diese Gleichungen sind in abnehmenden Beweisen über adjoint functors zu algebraischen Manipulationen nützlich. Sie werden manchmal die zickzackförmigen Gleichungen wegen des Äußeren der entsprechenden Schnur-Diagramme genannt. Eine Weise, sich an sie zu erinnern, soll zuerst die sinnlose Gleichung niederschreiben und dann entweder F oder G auf eine der zwei einfachen Weisen ausfüllen, die die Zusammensetzungen definiert machen.

Zeichen: Der Gebrauch des Präfixes "co" in counit hier ist mit der Fachsprache von Grenzen und colimits nicht im Einklang stehend, weil ein colimit ein anfängliches Eigentum befriedigt, wohingegen der counit morphisms Endeigenschaften, und Doppel-befriedigen wird. Der Begriff Einheit hier wird von der Theorie von monads geliehen, wo es wie die Einfügung der Identität 1 in einen monoid aussieht.

Definition über den Hom-Satz adjunction

Ein Hom-Satz adjunction zwischen zwei Kategorien C und D besteht aus zwei functors F: C  D und G: C  D und ein natürlicher Isomorphismus

:.

Das gibt eine Familie von Bijektionen an

:.

für alle Gegenstände X in C und Y in D.

In dieser Situation sagen wir, dass F adjoint zu G verlassen wird und G richtiger adjoint zu F ist, und diese Beziehung durch das Schreiben, oder einfach anzeigen kann.

Diese Definition ist ein logischer Kompromiss, in dem es etwas schwieriger ist zu befriedigen als die universalen morphism Definitionen, und weniger unmittelbare Implikationen hat als die Counit-Einheitsdefinition. Es ist wegen seiner offensichtlichen Symmetrie, und als ein Sprungbrett zwischen den anderen Definitionen nützlich.

Um Φ als ein natürlicher Isomorphismus zu interpretieren, muss man hom (F-,-) und hom (-, G-) als functors anerkennen. Tatsächlich sind sie beide bifunctors von D × C um (die Kategorie von Sätzen) Unterzugehen. Für Details, sieh den Artikel über hom functors. Ausführlich bedeutet der naturality von Φ dass für den ganzen morphisms f: X  X  in C und dem ganzen morphisms g: Y   Y in D pendelt das folgende Diagramm:

Die vertikalen Pfeile in diesem Diagramm sind diejenigen, die durch die Zusammensetzung mit f und g veranlasst sind.

Adjunctions vollständig

Es gibt folglich zahlreichen functors und natürliche Transformationen, die mit jedem adjunction vereinigt sind, und nur ein kleine Teil ist genügend, um den Rest zu bestimmen.

Ein adjunction zwischen Kategorien C und D besteht aus

• Ein functor F: C  hat D den linken adjoint genannt
• Ein functor G: C  hat D das Recht adjoint genannt
• Ein natürlicher Isomorphismus Φ: hom (F-,-)  hom (-, G-)
• Eine natürliche Transformation ε: FG  1 hat den counit genannt
• Eine natürliche Transformation η: 1  GF hat die Einheit genannt

Eine gleichwertige Formulierung, wo X jeden Gegenstand von C und Y anzeigt, zeigt jeden Gegenstand von D an:

Für jeden C-morphism gibt es einen einzigartigen solchen D-morphism, dass die Diagramme unten pendeln, und für jeden D-morphism es einen einzigartigen C-morphism in solchem C gibt, dass die Diagramme unten pendeln:

Von dieser Behauptung kann man das wieder erlangen:

• Die Transformationen ε, η, und Φ sind durch die Gleichungen verbunden

:

f = \Phi_ {Y, X} ^ {-1} (g) &= \varepsilon_X\circ F (g) & \in & \, \, \mathrm {hom} _C (F (Y), X) \\

g = \Phi_ {Y, X} (f) &= G (f) \circ \eta_Y & \in & \, \, \mathrm {hom} _D (Y, G (X)) \\

\Phi_ {GX, X} ^ {-1} (1_ {GX}) &= \varepsilon_X & \in & \, \, \mathrm {hom} _C (FG (X), X) \\

\Phi_ {Y, FY} (1_ {FY}) &= \eta_Y & \in & \, \, \mathrm {hom} _D (Y, GF (Y)) \\

\end {richten }\aus</Mathematik>

• Die Transformationen ε, η befriedigen die Counit-Einheitsgleichungen

:1_F &= \varepsilon F\circ F\eta \\1_G &= G\varepsilon \circ \eta G\end {richten} </Mathematik> {aus}

• Jedes Paar ist ein Terminal morphism von F bis X in C
• Jedes Paar ist eine Initiale morphism von Y bis G in D

Insbesondere die Gleichungen erlauben oben, Φ, ε, und η in Bezug auf irgendwelche der drei zu definieren. Jedoch sind die adjoint functors F und G allein im Allgemeinen nicht genügend, um den adjunction zu bestimmen. Wir werden die Gleichwertigkeit dieser Situationen unten demonstrieren.

Universale morphisms veranlassen Hom-Satz adjunction

In Anbetracht eines Rechts adjoint functor im Sinne der Initiale morphisms, tun Sie die folgenden Schritte.

• Bauen Sie einen functor und eine natürliche Transformation.
• Für jeden Gegenstand dessen, wählen Sie eine Initiale morphism aus dazu, so haben wir. Wir haben die Karte auf Gegenständen und der Familie von morphisms.
• Für jeden, wie eine Initiale morphism dann ist, faktorisieren damit und kommen. Das ist die Karte auf morphisms.
• Dessen pendelndes Diagramm factorization das pendelnde Diagramm von natürlichen Transformationen so einbezieht, ist eine natürliche Transformation.
• Einzigartigkeit davon sind factorization und das ein functor deutet an, dass die Karte auf morphisms Zusammensetzungen und Identität bewahrt.
• Bauen Sie einen natürlichen Isomorphismus.
• Für jeden, wie eine Initiale morphism dann ist, ist eine Bijektion, wo.

• ist eine natürliche Transformation, ist ein functor dann

G (x) \circ G (f) \circ G (F (y)) \circ\eta_ {Y_1 }\

G (x) \circ G (f) \circ \eta_ {Y_0 }\\circ y

G (x) \circ \Phi_ {ist Y_0, X_0} (f) \circ y </Mathematik>, dann in beiden Argumenten natürlich.

Ein ähnliches Argument erlaubt, einen Hom-Satz adjunction vom Terminal morphisms zu einem linken adjoint functor zu bauen. (Der Aufbau, der mit einem Recht adjoint anfängt, ist ein bisschen üblicher, da das Recht adjoint in vielen adjoint Paaren eine trivial definierte Einschließung oder vergesslicher functor ist.)

Counit-Einheit adjunction veranlasst Hom-Satz adjunction

Gegebener functors, und eine Counit-Einheit adjunction, können wir einen Hom-Satz adjunction bauen

:

in den folgenden Schritten:

• Für jeden und jeden, definieren Sie

:

\Psi_ {Y, X} (g) = \varepsilon_X\circ F (g) \end {richten} </Mathematik> {aus}

:The-Transformationen Φ und Ψ sind natürlich, weil η und ε natürlich sind.

• Mit, in der Ordnung, dass F ein functor, das ist, ist ε, und die Counit-Einheitsgleichung natürlich, wir erhalten

:

\Psi\Phi f &= \varepsilon_X\circ FG (f) \circ F (\eta_Y) \\

&= f\circ \varepsilon_ {FY }\\circ F (\eta_Y) \\

&= f\circ 1_ {FY} = {richten} f\end </Mathematik> {aus}

:hence ΨΦ ist die Identitätstransformation.

• Doppel-ist das Verwenden davon G ist ein functor, das η, und die Counit-Einheitsgleichung natürlich, wir erhalten

:

\Phi\Psi g &= G (\varepsilon_X) \circ GF (g) \circ\eta_Y \\

&= G (\varepsilon_X) \circ\eta_ {GX }\\circ g \\

&= 1_ {GX }\\circ g = {richten} g\end </Mathematik> {aus}

:hence ΦΨ ist die Identitätstransformation, so ist Φ ein natürlicher Isomorphismus mit dem Gegenteil Φ = Ψ.

Hom-Satz adjunction veranlasst alle obengenannten

Gegebener functors, und ein Hom-Satz adjunction, können wir eine Counit-Einheit adjunction bauen

:

der Familien der Initiale und des Terminals morphisms in den folgenden Schritten definiert:

• Lassen Sie für jeden X in C, wo die Identität morphism ist.
• Lassen Sie für jeden Y in D, wo die Identität morphism ist.
• Der bijectivity und naturality von Φ deuten an, dass jeder ein Terminal morphism von X bis F in C ist, und jeder eine Initiale morphism von Y bis G in D ist.
• Der naturality von Φ bezieht den naturality von ε und η und den zwei Formeln ein

:

\Phi_ {Y, X} ^ {-1} (g) = \varepsilon_X\circ F (g) \end {richten} </Mathematik> {aus}

:for jeder f: FY  X und g: Y  GX (die völlig Φ bestimmen).

• Das Auswechseln gegen FY für X und für g in der zweiten Formel gibt die erste Counit-Einheitsgleichung

:

:and, der gegen GX Y und f in der ersten Formel auswechselt, gibt die zweite Counit-Einheitsgleichung

:.

Historische Perspektive

Allgegenwart von adjoint functors

Die Idee von einem adjoint functor wurde von Daniel Kan 1958 formuliert. Wie viele der Konzepte in der Kategorie-Theorie wurde es durch die Bedürfnisse nach der homological Algebra angedeutet, die zurzeit der Berechnung gewidmet wurde. Diejenigen, die mit dem Geben sauberer, systematischer Präsentationen des Themas konfrontieren, hätten Beziehungen wie bemerkt

:hom (F (X), Y) = hom (X, G (Y))

in der Kategorie von abelian Gruppen, wo F der functor war (d. h. nehmen das Tensor-Produkt mit A), und G war der functor hom (A,-).

Der Gebrauch des Gleichheitszeichens ist ein Missbrauch der Notation; jene zwei Gruppen sind nicht wirklich identisch, aber es gibt eine Weise, sie zu identifizieren, der natürlich ist. Wie man sehen kann, ist es auf der Basis erstens natürlich, dass das zwei alternative Beschreibungen des bilinearen mappings von X × zu Y sind. D. h. jedoch, etwas Besonderes zum Fall des Tensor-Produktes. In der Kategorie-Theorie wird der 'naturality' der Bijektion ins Konzept eines natürlichen Isomorphismus untergeordnet.

Die Fachsprache kommt aus der Raumidee von Hilbert von adjoint Maschinenbedienern T, U damit

Wenn man anfängt, nach diesen adjoint Paaren von functors zu suchen, erweisen sie sich, in der abstrakten Algebra, und anderswohin ebenso sehr üblich zu sein. Die Beispiel-Abteilung stellt unten Beweise davon zur Verfügung; außerdem verursachen universale Aufbauten, die für einige vertrauter sein können, zahlreiche adjoint Paare von functors.

In Übereinstimmung mit dem Denken an Saunders Mac Lane sollte jede Idee wie adjoint functors, der weit genug in der Mathematik vorkommt, um seinetwillen studiert werden.

Probleme, die mit adjoint functors formuliert sind

Mathematiker brauchen den vollen adjoint functor Konzept nicht allgemein. Konzepte können gemäß ihrem Gebrauch im Beheben von Problemen, sowie für ihren Gebrauch im Gebäude von Theorien beurteilt werden. Die Spannung zwischen diesen zwei Motivationen war während der 1950er Jahre besonders groß, als Kategorie-Theorie am Anfang entwickelt wurde. Gehen Sie in Alexander Grothendieck ein, der Kategorie-Theorie verwendet hat, Kompasspeilungen in anderer Arbeit — in der Funktionsanalyse, homological Algebra und schließlich algebraische Geometrie zu nehmen.

Es ist wahrscheinlich falsch zu sagen, dass er den adjoint functor Konzept in der Isolierung gefördert hat: Aber die Anerkennung der Rolle von adjunction war der Annäherung von Grothendieck innewohnend. Zum Beispiel war eines seiner Hauptergebnisse die Formulierung der Dualität von Serre in der Verhältnisform — man konnte lose in einer dauernden Familie von algebraischen Varianten sagen. Der komplette Beweis hat die Existenz eines Rechts adjoint zu einem bestimmten functor angemacht. Das ist etwas unleugbar Auszug, und nichtkonstruktiv, sondern auch stark auf seine eigene Weise.

Der Fall von teilweisen Ordnungen

Jeder teilweise bestellte Satz kann als eine Kategorie (mit einem einzelnen morphism zwischen x und y wenn und nur wenn x  y) angesehen werden. Ein Paar von adjoint functors zwischen zwei teilweise bestellten Sätzen wird eine Verbindung von Galois genannt (oder, wenn es Kontravariante, ein Antiton Verbindung von Galois ist). Sieh dass Artikel für mehrere Beispiele: Der Fall der Theorie von Galois ist natürlich ein führender. Jede Galois Verbindung verursacht Verschluss-Maschinenbediener und zu umgekehrten Ordnung bewahrenden Bijektionen zwischen den entsprechenden geschlossenen Elementen.

Wie für Gruppen von Galois der Fall ist, liegt das echte Interesse häufig in der Raffinierung einer Ähnlichkeit zu einer Dualität (d. h. Antiton-Ordnungsisomorphismus). Eine Behandlung der Theorie von Galois entlang diesen Linien durch Kaplansky war in der Anerkennung der allgemeinen Struktur hier einflussreich.

Der teilweise Ordnungsfall bricht die adjunction Definitionen ganz merklich zusammen, aber kann mehrere Themen zur Verfügung stellen:

• adjunctions können nicht Dualitäten oder Isomorphismus sein, aber sind Kandidaten dafür, zu diesem Status zu befördern
• Verschluss-Maschinenbediener können die Anwesenheit von adjunctions, als entsprechender monads (vgl die Verschluss-Axiome von Kuratowski) anzeigen
• eine sehr allgemeine Anmerkung von William Lawvere ist, dass Syntax und Semantik adjoint sind: Nehmen Sie C, um der Satz aller logischen Theorien (axiomatizations) und D der Macht-Satz des Satzes aller mathematischen Strukturen zu sein. Für eine Theorie T in C, lassen Sie F (T) der Satz aller Strukturen sein, die die Axiome T befriedigen; für eine Reihe mathematischer Strukturen S, lassen Sie G (S) der minimale axiomatization von S sein. Wir können dann sagen, dass F (T) eine Teilmenge von S ist, wenn, und nur wenn T logisch G (S) einbezieht: Der "Semantik functor" F wird adjoint zur "Syntax functor" G verlassen.
• Abteilung ist (im Allgemeinen) der Versuch, Multiplikation umzukehren, aber viele Beispiele, wie die Einführung der Implikation in der Satzlogik oder der ideale Quotient für die Abteilung durch Ringideale, können als der Versuch erkannt werden, einen adjoint zur Verfügung zu stellen.

Zusammen stellen diese Beobachtungen erklärenden Wert überall in der Mathematik zur Verfügung.

Beispiele

Freie Gruppen (aufschlussreiches Beispiel)

Der Aufbau von freien Gruppen ist ein äußerst allgemeiner adjoint Aufbau und ein nützliches Beispiel, für die obengenannten Details zu verstehen.

Nehmen Sie dass F an: Grp  Satz ist der functor, der jedem Satz Y die freie Gruppe zuteilt, die durch die Elemente von Y, und dass G erzeugt ist: Grp  Satz ist der vergessliche functor, der jeder Gruppe X seinen zu Grunde liegenden Satz zuteilt. Dann wird F adjoint zu G verlassen:

Terminal morphisms. Für jede Gruppe X, die Gruppe ist FGX die freie Gruppe erzeugt frei durch GX, die Elemente X. Lassen Sie, der Gruppenhomomorphismus zu sein, der die Generatoren von FGX zu den Elementen X sendet, entsprechen sie, der durch das universale Eigentum von freien Gruppen besteht. Dann ist jeder ein Terminal morphism von F bis X, weil jeder Gruppenhomomorphismus von einer freien Gruppe FZ zu X Faktor durch über eine einzigartige Satz-Karte von Z bis GX wird. Das bedeutet, dass (F, G) ein adjoint Paar ist.

Initiale morphisms. Für jeden Satz Y der Satz ist GFY gerade der zu Grunde liegende Satz der freien Gruppe durch Y erzeugter FY. Lassen Sie, die durch die "Einschließung von Generatoren gegebene Satz-Karte" zu sein. Dann ist jeder eine Initiale morphism von Y bis G, weil jede Satz-Karte von Y bis den zu Grunde liegenden Satz GW einer Gruppe Faktor durch über einen einzigartigen Gruppenhomomorphismus von FY bis W wird. Das bedeutet auch, dass (F, G) ein adjoint Paar ist.

Hom-Satz adjunction. Karten von der freien Gruppe FY zu einer Gruppe X entsprechen genau zu Karten vom Satz Y zum Satz GX: Jeder Homomorphismus von FY bis X wird durch seine Handlung auf Generatoren völlig bestimmt. Man kann direkt nachprüfen, dass diese Ähnlichkeit eine natürliche Transformation ist, was bedeutet, dass es ein Hom-Satz adjunction für das Paar (F, G) ist.

Counit-Einheit adjunction. Man kann auch direkt nachprüfen, dass ε und η natürlich sind. Dann ist eine direkte Überprüfung, dass sie eine Counit-Einheit adjunction bilden, wie folgt:

Die erste Counit-Einheitsgleichung sagt das für jeden Satz Y die Zusammensetzung

:

sollte die Identität sein. Die Zwischengruppe FGFY ist die freie Gruppe erzeugt frei durch die Wörter der freien Gruppe FY. (Denken Sie an diese Wörter, wie gelegt, in Parenthesen, um anzuzeigen, dass sie unabhängige Generatoren sind.) Der Pfeil ist der Gruppenhomomorphismus von FY in FGFY das Senden jedes Generators y FY zum entsprechenden Wort der Länge eine (y) als ein Generator von FGFY. Der Pfeil ist der Gruppenhomomorphismus von FGFY bis FY das Senden jedes Generators zum Wort von FY, dem es entspricht (so lässt diese Karte Parenthesen" "fallen). Die Zusammensetzung dieser Karten ist tatsächlich die Identität auf FY.

Die zweite Counit-Einheitsgleichung sagt das für jede Gruppe X die Zusammensetzung

:

sollte die Identität sein. Das Zwischenglied ist untergegangen GFGX ist gerade der zu Grunde liegende Satz von FGX. Der Pfeil ist die "Einschließung von Generatoren" Satz-Karte vom Satz GX zum Satz GFGX. Der Pfeil ist die Satz-Karte von GFGX bis GX, der dem Gruppenhomomorphismus unterliegt, jeden Generator von FGX zum Element X sendend, entspricht es ("fallende Parenthesen"). Die Zusammensetzung dieser Karten ist tatsächlich die Identität auf GX.

Freie Aufbauten und vergesslicher functors

Freie Gegenstände sind alle Beispiele eines linken adjoint zu einem vergesslichen functor, der einem algebraischen Gegenstand seinen zu Grunde liegenden Satz zuteilt. Diese algebraischen freien functors haben allgemein dieselbe Beschreibung wie im Detaillieren der freien Gruppensituation oben.

Diagonale functors und Grenzen

Produkte, fibred Produkte, Equalizer und Kerne sind alle Beispiele des kategorischen Begriffs einer Grenze. Jede Grenze functor ist richtiger adjoint zu einer entsprechenden Diagonale functor (vorausgesetzt dass die Kategorie den Typ von fraglichen Grenzen hat), und der counit des adjunction die Definieren-Karten vom Grenze-Gegenstand (d. h. von der Diagonale functor auf der Grenze, in der functor Kategorie) zur Verfügung stellt. Unten sind einige spezifische Beispiele.

• Produkte Lassen Π: Grp  Grp der functor, der jedem Paar (X, X) die Produktgruppe X×X zuteilt, und Δ lässt: Grp  Grp, die Diagonale functor sein, der jeder Gruppe X das Paar (X, X) in der Produktgruppe Grp zuteilt. Das universale Eigentum der Produktgruppe zeigt, dass Π zu Δ richtig-adjoint ist. Der counit dieses adjunction ist das Definieren-Paar von Vorsprung-Karten von X×X bis X und X, die die Grenze definieren, und die Einheit die diagonale Einschließung einer Gruppe X in X×X ist (x zu (x, x)) kartografisch darstellend.

: Das kartesianische Produkt von Sätzen, das Produkt von Ringen, folgt das Produkt von topologischen Räumen usw. demselben Muster; es kann auch auf eine aufrichtige Weise zu mehr erweitert werden als gerade zwei Faktoren. Mehr allgemein ist jeder Typ der Grenze richtiger adjoint zu einer Diagonale functor.

• Kerne. Denken Sie die Kategorie D des Homomorphismus von abelian Gruppen. Wenn f: Ein  B und f: Ein  B ist zwei Gegenstände von D, dann ist ein morphism von f bis f ein Paar (g, g) solchen morphisms dass gf = fg. Lässt G: D  Ab, der functor sein, der jedem Homomorphismus seinen Kern zuteilt und F lässt: D  Ab, der functor sein, der die Gruppe zum Homomorphismus Ein  0 kartografisch darstellt. Dann ist G richtiger adjoint zu F, der das universale Eigentum von Kernen ausdrückt. Der counit dieses adjunction ist das Definieren-Einbetten eines Kerns eines Homomorphismus ins Gebiet des Homomorphismus, und die Einheit ist der morphism das Identifizieren einer Gruppe mit dem Kern des Homomorphismus Ein  0.

: Eine passende Schwankung dieses Beispiels zeigt auch, dass der Kern functors für Vektorräume und für Module richtiger adjoints ist. Analog kann man zeigen, dass den cokernel functors für abelian Gruppen, Vektorräume und Module adjoints verlassen wird.

Colimits und Diagonale functors

Coproducts, fibred coproducts, coequalizers, und cokernels sind alle Beispiele des kategorischen Begriffs eines colimit. Jedem colimit functor wird adjoint zu einer entsprechenden Diagonale functor verlassen (vorausgesetzt dass die Kategorie den Typ von colimits fraglich hat), und die Einheit des adjunction die Definieren-Karten in den Colimit-Gegenstand zur Verfügung stellt. Unten sind einige spezifische Beispiele.

• Coproducts. Wenn F: Ab  Ab teilt jedem Paar (X, X) abelian Gruppen ihre direkte Summe, und wenn G zu: Ab  Ab ist der functor, der jeder abelian Gruppe Y das Paar (Y, Y) zuteilt, dann wird F adjoint zu G, wieder eine Folge des universalen Eigentums von direkten Summen verlassen. Die Einheit dieses adjoint Paares ist das Definieren-Paar von Einschließungskarten von X und X in die direkte Summe, und der counit ist die zusätzliche Karte von der direkten Summe (X, X), um sich zu X (das Senden eines Elements (a, b) der direkten Summe zum Element a+b X) rückwärts zu bewegen.

: Analoge Beispiele werden durch die direkte Summe von Vektorräumen und Modulen durch das freie Produkt von Gruppen und von der zusammenhanglosen Vereinigung von Sätzen angeführt.

Weitere Beispiele

In der Algebra

• Das Angrenzen an eine Identität zu einem rng. Dieses Beispiel wurde in der Motivationsabteilung oben besprochen. In Anbetracht eines rng R kann ein multiplicative Identitätselement durch die Einnahme von RxZ und das Definieren eines Z-bilinear Produktes mit (r, 0) (0,1) = (0,1) (r, 0) = (r, 0), (r, 0) (s, 0) = (rs, 0), (0,1) (0,1) = (0,1) hinzugefügt werden. Das baut einen linken adjoint zum functor das Bringen eines Rings zum zu Grunde liegenden rng.
• Ringerweiterungen. Nehmen Sie R an, und S sind Ringe und ρ: R  ist S ein Ringhomomorphismus. Dann kann S als ein (linkes) R-Modul gesehen werden, und das Tensor-Produkt mit S gibt einen functor F nach: R-Mod  S-Mod. Dann wird F adjoint zum vergesslichen functor G verlassen: S-Mod  R-Mod.
• Tensor-Produkte. Wenn R ein Ring ist und M ein Recht R Modul, dann das Tensor-Produkt mit der M Erträge ein functor F ist: R-Mod  Ab. Der functor G: Ab  R-Mod, definiert durch G (A) = hom (M, A) für jede abelian Gruppe A, ist ein Recht adjoint zu F.
• Von monoids und Gruppen zu Ringen gibt Der integrierte Monoid-Ringaufbau einen functor von monoids bis Ringe. Diesem functor wird adjoint zum functor verlassen, der zu einem gegebenen Ring seinen zu Grunde liegenden multiplicative monoid vereinigt. Ähnlich gibt der integrierte Gruppenringaufbau einen functor von Gruppen zu Ringen, linkem adjoint zum functor nach, der einem gegebenen Ring seine Gruppe von Einheiten zuteilt. Man kann auch mit Feld K anfangen und die Kategorie von K-Algebra statt der Kategorie von Ringen denken, um den monoid und die Gruppenringe über K zu bekommen.
• Feld von Bruchteilen. Betrachten Sie die Kategorie als Dom von integrierten Gebieten mit injective morphisms. Das vergessliche functor Feld  Dom von Feldern hat einen linken adjoint - es teilt jedem integrierten Gebiet sein Feld von Bruchteilen zu.
• Polynomische Ringe. Lassen Sie Ring die Kategorie von spitzen Ersatzringen mit der Einheit (Paare sein (A, a), wo A ein Ring ist, und morphisms die ausgezeichneten Elemente bewahren). Der vergessliche functor G:Ring  Ring hat einen linken adjoint - es teilt jedem Ring R das Paar zu (R [x], x), wo R [x] der polynomische Ring mit Koeffizienten von R ist.
• Abelianization. Denken Sie die Einschließung functor G: Ab  Grp von der Kategorie von abelian Gruppen zur Kategorie von Gruppen. Es hat genannten abelianization eines linken adjoint, der jeder Gruppe G die Quotient-Gruppe G=G / [G, G] zuteilt.
• Die Grothendieck Gruppe. In der K-Theorie soll der Ausgangspunkt bemerken, dass die Kategorie von Vektor-Bündeln auf einem topologischen Raum eine monoid Ersatzstruktur unter der direkten Summe hat. Man kann eine abelian Gruppe aus diesem monoid, die Gruppe von Grothendieck machen, indem man ein zusätzliches Gegenteil für jedes Bündel (oder Gleichwertigkeitsklasse) formell hinzufügt. Wechselweise kann man bemerken, dass der functor, der für jede Gruppe den zu Grunde liegenden monoid nimmt (Gegenteile ignorierend), einen linken adjoint hat. Das ist ein für allemal Aufbau in Übereinstimmung mit der dritten Abteilungsdiskussion oben. D. h. man kann den Aufbau von negativen Zahlen imitieren; aber es gibt die andere Auswahl eines Existenz-Lehrsatzes. Für den Fall von finitary algebraischen Strukturen kann die Existenz allein auf die universale Algebra oder Mustertheorie verwiesen werden; natürlich gibt es auch einen Beweis, der an die Kategorie-Theorie auch angepasst ist.
• Reziprozität von Frobenius in der Darstellungstheorie von Gruppen: Sieh veranlasste Darstellung. Dieses Beispiel hat die allgemeine Theorie vor ungefähr einem halben Jahrhundert ahnen lassen.

In der Topologie

• Ein functor mit einem linken und einem Recht adjoint. Lassen Sie G der functor von topologischen Räumen bis Sätze sein, der zu jedem topologischen Raum seinen zu Grunde liegenden Satz vereinigt (das Vergessen der Topologie, die ist). G hat einen linken adjoint F, den getrennten Raum auf einem Satz Y und ein Recht adjoint H das Schaffen der trivialen Topologie auf Y schaffend.
• Suspendierungs- und Schleife-Räume Gegeben topologische Räume X und Y, der Raum [SX, Y] homotopy Klassen von Karten von der Suspendierung SX X zu Y sind zum Raum [X, ΩY] von homotopy Klassen von Karten von X bis den Schleife-Raum ΩY von Y natürlich isomorph. Das ist eine wichtige Tatsache in der homotopy Theorie.
• Stein-Čech compactification. Lassen Sie KHaus die Kategorie von Kompakträumen von Hausdorff und G sein: KHaus  Spitze, die Einschließung functor zur Kategorie von topologischen Räumen sein. Dann hat G einen linken adjoint F: Spitze  KHaus, Stein-Čech compactification. Der counit dieses adjoint Paares gibt eine dauernde Karte von jedem topologischen Raum X in sein Stein-Čech compactification nach. Diese Karte ist ein Einbetten (d. h. injective, dauernd und offen), wenn, und nur wenn X ein Raum von Tychonoff ist.
• Direkte und umgekehrte Images von Bündeln Jede dauernde Karte f: X  Y zwischen topologischen Räumen veranlassen einen functor f von der Kategorie von Bündeln (Sätze oder abelian Gruppen, oder klingelt...) auf X zur entsprechenden Kategorie von Bündeln auf Y, das direkte Image functor. Es veranlasst auch einen functor f von der Kategorie von Bündeln von abelian Gruppen auf Y zur Kategorie von Bündeln von abelian Gruppen auf X, dem umgekehrten Image functor. f wird adjoint zu f verlassen. Hier ist ein feinerer Punkt, dass sich der linke adjoint für zusammenhängende Bündel davon für Bündel (Sätze) unterscheiden wird.
• Soberification. Der Artikel über die Steindualität beschreibt einen adjunction zwischen der Kategorie von topologischen Räumen und der Kategorie von nüchternen Räumen, die als soberification bekannt ist. Namentlich enthält der Artikel auch ein Detaillieren eines anderen adjunction, der den Weg für die berühmte Dualität von nüchternen Räumen und Raumschauplätzen vorbereitet, die in der sinnlosen Topologie ausgenutzt sind.

In der Kategorie-Theorie

• Eine Reihe von adjunctions. Der functor π, der einer Kategorie seine Sätze von verbundenen Bestandteilen zuteilt, ist zum functor D nach-links-adjoint, der einem Satz die getrennte Kategorie auf diesem Satz zuteilt. Außerdem ist D zum Gegenstand functor U nach-links-adjoint, der jeder Kategorie zuteilt, ist sein Satz von Gegenständen, und schließlich U zu nach-links-adjoint, der jedem Satz die antigetrennte Kategorie auf diesem Satz zuteilt.
• Exponentialgegenstand. In einer kartesianischen geschlossenen Kategorie hat der endofunctor C  C gegeben durch-×a ein Recht adjoint-.

In der kategorischen Logik

• Quantifizierung Jeder morphism f: X  Y in einer Kategorie mit Hemmnissen veranlassen eine eintönige Karte, die auf Hemmnisse handelt (Eine eintönige Karte ist ein functor, wenn wir die Vorordnungen als Kategorien betrachten). Wenn dieser functor einen linken/richtigen adjoint hat, wird der adjoint genannt und beziehungsweise.

: In der Kategorie von Sätzen, wenn wir Teilmengen als die kanonischen Subgegenstände dann wählen, wird durch diese Funktionen gegeben:

:

f^ {-1 }\\lbrack T \rbrack </Mathematik>

:

\{\; y \in Y \; \mid \; \exists x \in f^ {-1 }\\lbrack \{y\} \rbrack, x \in S \; \}\

f\lbrack S \rbrack </Mathematik>

:

\{\; y \in Y \; \mid \; \forall x \in f^ {-1} \lbrack \{y\} \rbrack, x \in S \; \} </Mathematik>

Eigenschaften

Einzigartigkeit von adjoints

Wenn der functor F: C  hat D zwei Recht adjoints G und G , dann G, und G sind  natürlich isomorph. Dasselbe ist für linken adjoints wahr.

Umgekehrt, wenn F adjoint zu G verlassen wird, und G zu G  dann F natürlich isomorph ist, wird auch adjoint zu G  verlassen. Mehr allgemein, wenn F, G, ε, η  ein adjunction ist (mit der Counit-Einheit (ε,η)) und

:σ: F  F

:τ: G  G

sind natürlicher Isomorphismus dann F , G , ε , η ist  ein adjunction wo

:

\eta' &= (\tau\ast\sigma) \circ\eta \\

\varepsilon' &= \varepsilon\circ (\sigma^ {-1 }\\ast\tau^ {-1}).

\end {richten} </Mathematik> {aus}

Hier zeigt vertikale Zusammensetzung von natürlichen Transformationen an, und zeigt horizontale Zusammensetzung an.

Zusammensetzung

Adjunctions kann auf eine natürliche Mode zusammengesetzt werden. Spezifisch, wenn F, G, ε, η  ein adjunction zwischen C und D ist und F , G , ε , η  ein adjunction zwischen D und E dann der functor ist

:

wird adjoint zu verlassen

:

Genauer gibt es einen adjunction zwischen F  F und G G  mit der Einheit und durch die Zusammensetzungen gegebenem counit:

:

&1_ {\\mathcal E\\xrightarrow {\\eta} G F \xrightarrow {G \eta' F} G G' F' F \\

&F' F G G' \xrightarrow {F' \varepsilon G'} F' G' \xrightarrow {\\varepsilon'} 1_ {\\mathcal C\.

\end {richten} </Mathematik> {aus}

Dieser neue adjunction wird die Zusammensetzung der zwei gegebenen adjunctions genannt.

Man kann dann eine Kategorie bilden, deren Gegenstände alle kleinen Kategorien sind, und dessen morphisms adjunctions sind.

Adjoints bewahren Grenzen

Das wichtigste Eigentum von adjoints ist ihre Kontinuität: Jeder functor, der einen linken adjoint hat (und ist deshalb ein Recht adjoint), ist dauernd (d. h. tauscht mit Grenzen in der Kategorie theoretischen Sinn ein); jeder functor, der ein Recht adjoint hat (und ist deshalb ein linker adjoint), ist cocontinuous (d. h. pendelt mit colimits).

Da viele allgemeine Aufbauten in der Mathematik Grenzen oder colimits sind, stellt das einen Reichtum der Information zur Verfügung. Zum Beispiel:

• die Verwendung eines Rechts adjoint functor zu einem Produkt von Gegenständen gibt das Produkt der Images nach;
• die Verwendung eines linken adjoint functor zu einem coproduct von Gegenständen gibt den coproduct der Images nach;
• jedes Recht adjoint functor wird genau verlassen;
• jeder linke adjoint functor ist genau richtig.

Additivität

Wenn C und D vorzusätzliche Kategorien und F sind: C  ist D ein Zusatz functor mit einem Recht adjoint G: C  D dann ist G auch ein Zusatz functor und die Hom-Satz-Bijektionen

:

sind tatsächlich, Isomorphismus von abelian Gruppen. Doppel-, wenn G mit einem linken adjoint F zusätzlich ist, dann ist F auch zusätzlich.

Außerdem, wenn sowohl C als auch D zusätzliche Kategorien sind (d. h. vorzusätzliche Kategorien mit dem ganzen begrenzten biproducts), dann ist jedes Paar von adjoint functors zwischen ihnen automatisch zusätzlich.

Allgemeiner Existenz-Lehrsatz

Nicht jeder functor G: C  lässt D einen linken adjoint zu. Wenn C eine ganze Kategorie ist, dann kann der functors mit linkem adjoints durch den adjoint functor Lehrsatz von Peter J. Freyd charakterisiert werden: G hat einen linken adjoint, wenn, und nur wenn es dauernd ist und eine bestimmte Kleinheitsbedingung zufrieden ist: Für jeden Gegenstand Y D dort besteht eine Familie von morphisms

:f: Y  G (X)

wohin die Indizes ich aus einem Satz I, nicht eine richtige Klasse, solch dass jeder morphism komme

:h: Y  G (X)

kann als geschrieben werden

:h = G (t) o f

für einige ich in mir und einem morphism

:t: X  X in C.

Eine analoge Behauptung charakterisiert jene functors mit einem Recht adjoint.

Beziehung zu anderen kategorischen Konzepten

Universale Aufbauten

Wie festgesetzt, früher, ein adjunction zwischen Kategorien C und D verursacht eine Familie von universalem morphisms, ein für jeden Gegenstand in C und ein für jeden Gegenstand in D. Umgekehrt, wenn dort ein universaler morphism zu einem functor G besteht: C  D von jedem Gegenstand von D dann hat G einen linken adjoint.

Jedoch sind universale Aufbauten allgemeiner als adjoint functors: Ein universaler Aufbau ist einem Optimierungsproblem ähnlich; es verursacht ein adjoint Paar, wenn, und nur wenn dieses Problem eine Lösung für jeden Gegenstand von D (gleichwertig, jeden Gegenstand von C) hat.

Gleichwertigkeiten von Kategorien

Wenn ein functor F: CD ist eine Hälfte einer Gleichwertigkeit von Kategorien dann es ist der linke adjoint in einer adjoint Gleichwertigkeit von Kategorien, d. h. ein adjunction, dessen Einheit und counit Isomorphismus sind.

Jeder adjunction F, G, ε, η  erweitert eine Gleichwertigkeit von bestimmten Unterkategorien. Definieren Sie C als die volle Unterkategorie von C, der aus jenen Gegenständen X von C besteht, für die ε ein Isomorphismus ist, und definieren Sie D als die volle Unterkategorie von D, der aus jenen Gegenständen Y D besteht, für den η ein Isomorphismus ist. Dann kann F und G auf D und C und Ertrag-Gegenteil-Gleichwertigkeiten dieser Unterkategorien eingeschränkt werden.

Gewissermaßen, dann, sind adjoints "verallgemeinerte" Gegenteile. Bemerken Sie jedoch, dass ein richtiges Gegenteil von F (d. h. ein functor G solch, dass FG zu 1 natürlich isomorph ist) kein Recht zu sein braucht (oder verlassen) adjoint F. Adjoints zweiseitige Gegenteile verallgemeinern.

Monads

Jeder adjunction F, G, ε, η  verursacht einen verbundenen monad T, η, μ  in der Kategorie D. Der functor

:

wird durch T = GF gegeben. Die Einheit des monad

:

ist gerade die Einheit η vom adjunction und der Multiplikationstransformation

:

wird durch μ = GεF gegeben. Doppel-definiert der dreifache FG, ε, FηG  einen comonad in C.

Jeder monad entsteht aus einem adjunction — tatsächlich, normalerweise aus vielen adjunctions — auf die obengenannte Mode. Zwei Aufbauten, genannt die Kategorie von Algebra von Eilenberg-Moore und die Kategorie von Kleisli sind zwei extremal Lösungen des Problems, einen adjunction zu bauen, der einen gegebenen monad verursacht.

Links

• Adjunctions Sieben kurze Vorträge auf adjunctions.