Funktor (Mathematik)

Funktoren sind ein zentrales Grundkonzept des mathematischen Teilgebiets der Kategorientheorie. Ein Funktor ist eine strukturerhaltende Abbildung zwischen zwei Kategorien. Konkrete Funktoren haben in vielen Teilgebieten der Mathematik eine besondere Bedeutung. Funktoren werden auch Diagramme genannt (mitunter nur in bestimmten Kontexten), da sie eine formale Abstraktion kommutativer Diagramme darstellen.

Definition

Seien ${\mathcal {C}},{\mathcal {D}}$ Kategorien. Ein (kovarianter) Funktor ist eine Abbildung $F\colon {\mathcal {C}}\to {\mathcal {D}}$ , die:

Objekte auf Objekte abbildet: $F:{\rm {{Ob}({\mathcal {C}})\to {\rm {{Ob}({\mathcal {D}})}}}}$
Morphismen auf Morphismen abbildet: seien $X,Y,Z$ $X,Y,Z$ Objekte in ${\mathcal {C}}$ ${\mathcal {C}}$ , dann gilt $F\colon \operatorname {Mor} _{\mathcal {C}}(X,Y)\to \operatorname {Mor} _{\mathcal {D}}(F(X),F(Y))$ $F\colon \operatorname {Mor} _{\mathcal {C}}(X,Y)\to \operatorname {Mor} _{\mathcal {D}}(F(X),F(Y))$ so dass:
- $F(\mathrm {id} _{X})=\mathrm {id} _{F(X)}\,\!$
- $F(g\circ f)=F(g)\circ F(f)$ für alle Morphismen $f\colon X\to Y\,\!$ und $g\colon Y\to Z$ .

Erläuterungen

Der Funktor erhält somit Identitätsmorphismen und Kompositionen. Für jeden Morphismus $u\colon A\to B$ in ${\mathcal {C}}$ gilt $F(u)\colon F(A)\to F(B)$ .

Ein Funktor von einer Kategorie auf sich selbst ( $F\colon {\mathcal {C}}\to {\mathcal {C}}$ ) heißt Endofunktor.

Funktoren ermöglichen den Übergang von einer Kategorie zu einer anderen, wobei die genannten Regeln gelten. Das Bestehen dieser Regeln nennt man auch die Funktorialität dieses Übergangs, oder man sagt, die diesem Übergang zu Grunde liegende Konstruktion sei funktoriell.

Kontravarianter Funktor

Ein kovarianter Funktor auf der dualen Kategorie, $F\colon {\mathcal {C}}^{\operatorname {op} }\to {\mathcal {D}}$ , wird als kontravarianter Funktor (oder Kofunktor) $F\colon {\mathcal {C}}\to {\mathcal {D}}$ bezeichnet und kann als Abbildung von ${\mathcal {C}}$ nach ${\mathcal {D}}$ angesehen werden, indem man die Morphismen in ${\mathcal {C}}$ und ${\mathcal {C}}^{\operatorname {op} }$ miteinander identifiziert. Konkret ist eine Abbildung $F\colon {\mathcal {C}}\to {\mathcal {D}}$ genau dann ein kontravarianter Funktor, wenn

Objekte auf Objekte abgebildet werden und
Morphismen auf Morphismen abgebildet werden: seien $X,Y,Z$ $X,Y,Z$ Objekte in ${\mathcal {C}}$ ${\mathcal {C}}$ , dann gilt $F\colon \operatorname {Mor} _{\mathcal {C}}(X,Y)\to \operatorname {Mor} _{\mathcal {D}}(F(Y),F(X))$ $F\colon \operatorname {Mor} _{\mathcal {C}}(X,Y)\to \operatorname {Mor} _{\mathcal {D}}(F(Y),F(X))$ , so dass:
- $F(\mathrm {id} _{X})=\mathrm {id} _{F(X)}\,\!$
- $F(g\circ f)=F(f)\circ F(g)$ für alle Morphismen $f\colon X\to Y\,\!$ und $g\colon Y\to Z$ . (beachte die geänderte Reihenfolge auf der rechten Seite)

Beispiele

Der identische Funktor $\mathrm {id} \colon {\mathcal {C}}\to {\mathcal {C}}$ , der jedem Morphismus sich selbst zuordnet, ist ein kovarianter Funktor.
Ist ${\mathcal {C}}$ die Kategorie der Vektorräume mit den linearen Abbildungen als Morphismen und ordnet $F:{\mathcal {C}}\rightarrow {\mathcal {C}}$ jedem Vektorraum $V$ seinen Dualraum $V^{*}$ zu und jeder linearen Abbildung $f\colon V\rightarrow W$ die duale Abbildung $f^{*}\colon W^{*}\rightarrow V^{*}$ zu, so ist $F$ ein kontravarianter Funktor.
Häufig anzutreffen sind Vergissfunktoren: Beispielsweise sind in der Kategorie der Gruppen die Objekte Gruppen, also mit einer Verknüpfung versehene Mengen, und die Morphismen Gruppenhomomorphismen, also bestimmte Abbildungen zwischen diesen Mengen. Die Verkettung von Morphismen ist dabei nichts anderes als die Verkettung von Abbildungen. Der Vergissfunktor ist nun ein Funktor in die Kategorie der Mengen, er „vergisst“ die Zusatzstruktur und weist jeder Gruppe die zugrundeliegende Menge und jedem Gruppenhomomorphismus die entsprechende Abbildung auf dieser Menge zu. Entsprechende Vergissfunktoren gibt es für alle Kategorien algebraischer Strukturen oder auch für Kategorien topologischer Räume mit stetigen Abbildungen etc.
Die duale Kategorie einer Kategorie besteht aus denselben Morphismen, wobei jedoch die Verkettung umgekehrt definiert ist. Der Dualitätsfunktor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \omega\colon\mathcal{C}\to\mathcal{C}^{\operatorname{op}}} , der jedem Morphismus sich selbst zuordnet, ist also ein kontravarianter Funktor.
Auf der Kategorie der Mengen definiert man den Potenzmengenfunktor, der jeder Menge ihre Potenzmenge zuordnet und jeder Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon A\to B} die Urbildbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{P}(B)\to\mathcal{P}(A), S\mapsto f^{-1}(S)} zuordnet. Der Potenzmengenfunktor ist kontravariant. Ähnliche Funktoren tauchen auch in anderen Kategorien auf, bei denen man nur bestimmte Abbildungen als Morphismen zulässt und statt der Potenzmenge und Abbildungen zwischen ihnen bestimmte Verbände und Homomorphismen zwischen ihnen betrachtet, siehe etwa Darstellungssatz für Boolesche Algebren.
Sind Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{C}} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{D}} Kategorien und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D\in \mathcal{D}} ein Objekt, so heißt der Funktor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{C}\rightarrow\mathcal{D}} , der jedes Objekt auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} und jeden Morphismus auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1_D} abbildet, der konstante Funktor mit Wert Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} .

Elementare Eigenschaften

Die Verkettung zweier kovarianter Funktoren ist wieder ein kovarianter Funktor.
Die Verkettung zweier kontravarianter Funktoren ist ein kovarianter Funktor.
Die Verkettung eines kovarianten mit einem kontravarianten Funktor ist ein kontravarianter Funktor.
Das Bild eines Isomorphismus unter einem Funktor ist wiederum ein Isomorphismus.
Das Bild einer Retraktion bzw. einer Koretraktion unter einem kovarianten Funktor ist wiederum eine Retraktion bzw. eine Koretraktion.
Das Bild eines Epimorphismus bzw. eines Monomorphismus unter einem kovarianten Funktor ist im Allgemeinen kein Epimorphismus bzw. Monomorphismus, da die Kürzbarkeit durch eine Nichtsurjektivität des Funktors nicht erhalten bleiben muss.
Das Bild eines Funktors ist im Allgemeinen keine Unterkategorie der Zielkategorie, denn es können verschiedene Objekte auf dasselbe Objekt abgebildet werden, wodurch Verkettungen von Morphismen des Bildes des Funktors nicht mehr im Bild liegen müssen. Betrachte etwa eine Kategorie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{C}} mit den Objekten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A, B_0, B_1, C} und Morphismen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle u\colon A \to B_0} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle v\colon B_1\to C} und eine Kategorie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{D}} mit den Objekten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A, B, C} und Morphismen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon A \to B} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g\colon B \to C} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle gf\colon A \to C} . Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F: \mathcal{C} \to \mathcal{D}} sei ein Funktor mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F(A)=A} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F(B_0)=F(B_1)=B} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F(C)=C} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F(u)=f} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F(v)=g} . Dann liegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F(u)} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F(v)} im Bild von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} , nicht aber Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F(v)F(u)=gf} .

Multifunktoren

Sei eine Familie von Kategorien Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\mathcal{C}_i)_{i\in I}} bezüglich einer (kleinen) Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I} gegeben. Ein kovarianter Funktor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} von der Produktkategorie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \textstyle\prod_i \mathcal{C}_i} in eine Kategorie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{D}} heißt nun kovarianter Multifunktor. Nun betrachtet man auch Multifunktoren, die in manchen Komponenten ko- und in manchen kontravariant sind. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F\colon \textstyle\prod_i \mathcal{C}_i\to\mathcal{D}} heißt genau dann Multifunktor der Varianz Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle v\colon I\to\{0,1\}} (die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0} zeige Kovarianz, die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1} Kontravarianz an), wenn er aufgefasst als Abbildung von

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \prod_i \begin{cases} \mathcal{C}_i & \text{wenn } v(i)=0 \\ \mathcal{C}_i^{\operatorname{op}} & \text{wenn } v(i)=1 \end{cases}}

nach Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{D}} ein kovarianter Multifunktor ist. Ein Multifunktor auf dem Produkt zweier Kategorien heißt Bifunktor. Schränkt man den Definitionsbereich eines Multifunktors in einzelnen Komponenten auf ein einzelnes Objekt ein, so erhält man einen partiellen Funktor, ebenfalls ein Multifunktor, der in den übrigen Komponenten seine Varianz behält.

Bemerkung

Die Varianz eines Funktors ist im Allgemeinen nicht eindeutig. Trivialbeispiel: Auf der Kategorie, die nur aus einem einzigen Objekt mit seinem Identitätsmorphismus besteht, ist der Identitätsfunktor ko- und kontravariant. Dies gilt auch allgemeiner in Kategorien, deren Morphismen alle Automorphismen sind, sodass die Automorphismengruppen abelsch sind. Beispiel für Mehrdeutigkeit bei Multifunktoren ist eine kanonische Projektion von einer Produktkategorie in eine Komponente, dieser Funktor ist in allen anderen Komponenten sowohl ko- als auch kontravariant.

Beispiele

Ein überall in der Kategorientheorie besonders wichtiger Funktor ist der Hom-Funktor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{Hom}_\mathcal{C}} , der für jede lokal kleine Kategorie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{C}} auf dem Produkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{C}\times\mathcal{C}} als Bifunktor der Varianz Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (1,0)} in die Kategorie der Mengen definiert ist: Für zwei Objekte Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A,B} in der Kategorie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{C}} sei zunächst Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{Hom}_\mathcal{C}(A,B)} als die Menge aller Morphismen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} nach Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B} definiert. Für zwei Morphismen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon A\to B, g\colon C\to D} in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C} sei

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{Hom}_\mathcal{C}(f,g)\colon \operatorname{Hom}_\mathcal{C}(B, C)\to \operatorname{Hom}_\mathcal{C}(A,D), m\mapsto gmf}

definiert. Für jedes Objekt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} sind die partiellen Hom-Funktoren Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{Hom}(A,-)} bzw. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{Hom}(-,A)} ko- bzw. kontravariante Funktoren.

Das Kronecker-Produkt ist ein Bifunktor der Varianz Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (0,0)} in der Kategorie der Matrizen (dies gilt auch allgemeiner für Tensorprodukte).
In der homologischen Algebra spielen der Ext-Funktor und der Tor-Funktor eine besondere Rolle.

Eigenschaften von Funktoren

Wie bei den meisten mathematischen Strukturen üblich, liegt es nahe, injektive, surjektive und bijektive Funktoren zu betrachten. Die Umkehrfunktion eines bijektiven Funktors ist wie bei allen algebraischen Strukturen wiederum ein Funktor, man spricht daher in diesem Fall von einem Isomorphismus zwischen Kategorien. Dieser Isomorphismenbegriff ist jedoch für die Kategorientheorie in einem gewissen Sinne unnatürlich: Für die Struktur einer Kategorie spielt es nämlich im Wesentlichen keine Rolle, ob zu einem Objekt weitere isomorphe Objekte vorhanden sind. Die Morphismen von zwei isomorphen Objekten zu einem beliebigen Objekt entsprechen einander vollkommen, und umgekehrt. Für einen Isomorphismus im obigen Sinne ergibt es jedoch einen Unterschied, wie viele (angenommen, man bewegt sich in einer kleinen Kategorie, sodass man von Anzahlen sprechen kann) isomorphe Objekte jeweils vorhanden sind, eine Eigenschaft, die für kategorientheoretische Betrachtungen im Allgemeinen keine Rolle spielt. Solche Anzahlen können etwa von völlig belanglosen Details in der Konstruktion einer Kategorie abhängen – definiert man differenzierbare Mannigfaltigkeiten als Teilmengen der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} (in dem Fall gibt es eine Menge aller Mannigfaltigkeiten) oder als beliebige Mengen mit einer differenzierbaren Struktur (diese bilden eine echte Klasse)? Sind je zwei nulldimensionale Vektorräume gleich (entsprechend der Sprechweise der Nullvektorraum) oder nur isomorph? etc. Daher definiert man gewisse Eigenschaften von Funktoren, die „unempfindlich“ unter Hinzufügen oder Entfernen von isomorphen Objekten sind:

Ein Funktor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F\colon\mathcal{C}\to\mathcal{D}} heißt treu, wenn keine zwei verschiedenen Morphismen zwischen denselben Objekten auf denselben Morphismus abgebildet werden, d. h., er ist injektiv auf jeder Klasse Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{C}(A,B)} von Morphismen zwischen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B} . Analog dazu heißt er voll, wenn er auf jeder Klasse Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{C}(A,B)} surjektiv ist. Ein volltreuer Funktor ist ein Funktor, der voll und treu ist. Ein wesentlich surjektiver Funktor ist nun ein Funktor, sodass für jedes Objekt in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{D}} ein isomorphes Objekt existiert, das im Bild von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} liegt. Eine Äquivalenz ist nun ein Funktor, der volltreu und wesentlich surjektiv ist. Dies stellt in gewisser Hinsicht einen natürlicheren Isomorphiebegriff für Kategorien dar. Eine Äquivalenz besitzt zwar keine inverse Funktion im wörtlichen Sinne, wohl aber etwas Ähnliches in Form einer Äquivalenz von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} nach Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C} , sodass bei Verkettung der beiden Äquivalenzen Objekte auf isomorphe Objekte abgebildet werden. Betrachtet man statt Kategorien nur Skelette von Kategorien, so stimmt der Begriff der Äquivalenz mit dem der Isomorphie überein.

Natürliche Transformationen

Funktoren können nicht nur als Morphismen in Kategorien von Kategorien aufgefasst werden, sondern können auch als Objekte von Kategorien aufgefasst werden. Als Morphismen zwischen Funktoren betrachtet man dabei meist natürliche Transformationen.

Diagramme und Limites

Viele Begriffe werden in der Mathematik über kommutative Diagramme definiert. Beispielsweise lässt sich das Inverse Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f^{-1}} eines Morphismus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} in einer Kategorie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{C}} so definieren, dass das folgende Diagramm kommutiert:

Dies lässt sich so formalisieren, dass ein Funktor von einer Kategorie mit zwei Objekten und zwei nicht-identischen Morphismen zwischen ihnen (entsprechend der Form des Diagramms) in die Kategorie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{C}} existiert, sodass das Bild des einen nicht-identischen Morphismus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} und das des anderen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f^{-1}} ist. Dieser Funktor wird dann auch Diagramm genannt. Als Verallgemeinerung typischer Definitionen über universelle Eigenschaften ergibt sich der Begriff des Limes eines Funktors.

Siehe auch

Adjunktion (Kategorientheorie)

Literatur

Jiří Adámek, Horst Herrlich, George E. Strecker: Abstract and Concrete Categories: The Joy of Cats. John Wiley & Sons, New York 1990, ISBN 0-471-60922-6 (englisch, uni-bremen.de [PDF; 4,2 MB]).
Dieter Pumplün: Elemente der Kategorientheorie. 1. Auflage. Spektrum Akademischer Verlag, Heidelberg 1999, ISBN 3-86025-676-9.

Weblinks

principle of equivalence, Erläuterung im nLab, abgerufen am 22. August 2012

Anonym

Suche

Funktor (Mathematik)

Namensräume

Mehr

Seitenaktionen

Inhaltsverzeichnis