Kategorie der Elemente

Die Kategorie der Elemente ist eine Konstruktion aus dem mathematischen Teilgebiet der Kategorientheorie. Diese Konstruktion ordnet jedem Funktor mit Werten in der Kategorie der Mengen eine weitere Kategorie zu.

In beliebigen Kategorien kann man im Allgemeinen nicht von Elementen der Objekte sprechen. Hat man aber einen Funktor, der jedem Objekt eine Menge zuordnet, so stehen die Elemente dieser Menge zur Verfügung. Bei dem hier vorgestellten Begriff betrachtet man zu jedem Objekt der Ausgangskategorie auch die Elemente der Menge, auf die das Objekt mittels des vorgegebenen Funktors abgebildet wird. Das motiviert auch die Bezeichnung „Kategorie der Elemente“.

Definition für kovariante Funktoren

Sei ${\mathcal {C}}$ eine Kategorie und $F\colon {\mathcal {C}}\rightarrow {\mathcal {Set}}$ ein (kovarianter) Funktor in die Kategorie der Mengen ${\mathcal {Set}}$. Dann heißt die Kategorie mit

• Objekten: Paare $(C,x)$, wobei $C$ Objekt aus ${\mathcal {C}}$ ist und $x\in F(C)$ ein Element der Menge,
• Morphismen $f\colon (C,x)\rightarrow (C',x')$: Morphismen $f\colon C\rightarrow C'$, die $F(f)(x)=x'$ erfüllen,

die Kategorie der Elemente zu $F$, wobei die Komposition der Morphismen diejenige aus ${\mathcal {C}}$ ist. Diese Kategorie wird mit $\textstyle \int F$ oder $\textstyle \int _{\mathcal {C}}F$ bezeichnet.

Definition für kontravariante Funktoren

Sei ${\mathcal {C}}$ eine Kategorie und $F\colon {\mathcal {C}}\rightarrow {\mathcal {Set}}$ ein kontravarianter Funktor in die Kategorie der Mengen ${\mathcal {Set}}$. Dann heißt die Kategorie mit

• Objekten: Paare $(C,x)$, wobei $C$ Objekt aus ${\mathcal {C}}$ ist und $x\in F(C)$ ein Element der Menge,
• Morphismen $f\colon (C,x)\rightarrow (C',x')$: Morphismen $f\colon C\rightarrow C'$, die $F(f)(x')=x$ erfüllen,

die Kategorie der Elemente zu $F$, wobei die Komposition der Morphismen diejenige aus ${\mathcal {C}}$ ist. Diese Kategorie wird ebenfalls mit $\textstyle \int F$ oder $\textstyle \int _{\mathcal {C}}F$ bezeichnet.

Bemerkungen

• Für obige Definitionen ist natürlich noch zu beweisen, dass es sich tatsächlich um eine Kategorie handelt. Dazu prüft man ohne Mühe, dass die identischen Morphismen $1_{C}$ aus ${\mathcal {C}}$ auch identische Morphismen in $\textstyle \int F$ sind, und dass die ${\mathcal {C}}$-Komposition zweier Morphismen aus $\textstyle \int F$ wieder ein Morphismus in $\textstyle \int F$ ist.
• Die Definition für kontravariante Funktoren $F\colon {\mathcal {C}}\rightarrow {\mathcal {Set}}$ lässt sich alternativ auf die Definition für kovariante Funktoren mittels der Formel $\textstyle \int _{\mathcal {C}}F\colon =(\int _{{\mathcal {C}}^{op}}F)^{op}$ zurückführen, denn $F$ ist ein kovarianter Funktor $\colon {\mathcal {C}}^{op}\rightarrow {\mathcal {Set}}$.

Beispiele

• Das einfachste Beispiel erhält man, wenn die Kategorie ${\mathcal {C}}$ gleich ${\mathcal {Set}}$ und der Funktor $F$ die Identität $I:{\mathcal {Set}}\rightarrow {\mathcal {Set}}$ ist. Die Kategorie der Elemente $\textstyle \int I$ besteht dann aus Paaren $(C,c)$ aus einer Menge $C$ und einem darin enthaltenen Punkt $c\in C$. Die Morphismen zwischen $(C,c)$ und $(C',c')$ sind Abbildungen $f:C\rightarrow C'$, die den ausgewählten Punkt erhalten, für die also $f(c)=c'$ gilt. $\textstyle \int I$ ist also nichts anderes als die Kategorie der Mengen mit ausgezeichnetem Punkt.
• Sei $C$ ein Objekt der Kategorie ${\mathcal {C}}$ und $\mathrm {Hom} _{\mathcal {C}}(C,-)\colon {\mathcal {C}}\rightarrow {\mathcal {Set}}$ der zugehörige kovariante Hom-Funktor. Ein Objekt aus der Kategorie der Elemente ist definitionsgemäß ein Paar $(D,f)$ mit $f\in \mathrm {Hom} _{\mathcal {C}}(C,D)$ und ein Morphismus $(D_{1},f_{1})\rightarrow (D_{2},f_{2})$ ist ein ${\mathcal {C}}$-Morphismus $h\colon D_{1}\rightarrow D_{2}$ mit $\mathrm {Hom} _{\mathcal {C}}(C,h)(f_{1})=f_{2}$. Da die Komponente $D$ des Paares $(D,f)$ als Zielobjekt von $f$ schon eindeutig bestimmt ist, bedeutet der vorangegangene Satz: ein Objekt in $\textstyle \int _{\mathcal {C}}\mathrm {Hom} _{\mathcal {C}}(C,-)$ ist ein Morphismus $f\in \mathrm {Hom} _{\mathcal {C}}(C,D)$ und ein Morphismus ist ein ${\mathcal {C}}$-Morphismus $h\colon D_{1}\rightarrow D_{2}$ mit $h\circ f_{1}=f_{2}$. Diese Kategorie ist daher isomorph zur Kommakategorie $C\downarrow {\mathcal {C}}$:

$\int _{\mathcal {C}}\mathrm {Hom} _{\mathcal {C}}(C,-)\cong C\downarrow {\mathcal {C}}$    und dual dazu    $\int _{\mathcal {C}}\mathrm {Hom} _{\mathcal {C}}(-,C)\cong {\mathcal {C}}\downarrow C$.

• Jede Kategorie ${\mathcal {C}}$ ist isomorph zu einer geeigneten Kategorie der Elemente, denn ist $1\colon {\mathcal {C}}\rightarrow {\mathcal {Set}}$ der konstante Funktor mit Wert $\{0\}$, der also jedes Objekt auf die Einermenge $\{0\}$ und jeden Morphismus auf die Identität $\{0\}\rightarrow \{0\}$ abbildet, so ist offenbar $\textstyle {\mathcal {C}}\cong \int _{\mathcal {C}}1$.

Darstellbarkeit

Die Daten $(C,x)$ eines Objektes aus $\textstyle \int F$ definieren nach dem Lemma von Yoneda eine eindeutig bestimmte natürliche Transformation des Hom-Funktors $\mathrm {Hom} _{\mathcal {C}}(C,-)$ nach $F$, denn nach diesem Lemma gibt es eine Bijektion zwischen den natürlichen Transformationen $\mathrm {Hom} _{\mathcal {C}}(C,-)\rightarrow F$ und der Menge $F(C)$. Daher besteht eine enge Beziehung zur Darstellbarkeit von Funktoren, es gilt:

• Ein kovarianter Funktor $F\colon {\mathcal {C}}\rightarrow {\mathcal {Set}}$ ist genau dann darstellbar, wenn $\textstyle \int _{\mathcal {C}}F$ ein Anfangsobjekt hat.

• Ein kontravarianter Funktor $F\colon {\mathcal {C}}\rightarrow {\mathcal {Set}}$ ist genau dann darstellbar, wenn $\textstyle \int _{\mathcal {C}}F$ ein Endobjekt hat.

Kategorie der Elemente als Pullback

Pullback-Diagramm

Sei ${\mathcal {C}}$ eine Kategorie und $F\colon {\mathcal {C}}\rightarrow {\mathcal {Set}}$ ein Funktor. Weiter sei ${\mathcal {Set}}_{*}$ die Kategorie der Mengen mit ausgezeichnetem Punkt. Dann haben wir weitere Funktoren:

• $\textstyle V\colon \int _{\mathcal {C}}F\rightarrow {\mathcal {C}}$, der Objekte $(C,x)$ auf $C$ abbildet und auf Morphismen die Identität ist.
• $\textstyle Q\colon \int _{\mathcal {C}}F\rightarrow {\mathcal {Set}}_{*}$, der Objekte $(C,x)$ auf $(F(C),x)$, die Menge $F(C)$ mit dem ausgezeichneten Punkt $x$, abbildet und Morphismen $f$ auf $F(f)$. Die Definitionen sind gerade so angelegt, dass $F(f)$ die ausgezeichneten Punkte erhält.
• $U\colon {\mathcal {Set}}_{*}\rightarrow {\mathcal {Set}}$, den Vergissfunktor, der den ausgezeichneten Punkt vergisst.

Dann ist das Teilquadrat unten rechts des nebenstehenden Diagramms ein Pullback in der „Kategorie aller Kategorien“. Die hier auftretenden mengentheoretischen Probleme (eine nicht-kleine Kategorie ist keine Menge und kann daher nicht Element einer Klasse sein) werden durch das Ausformulieren der Pullback-Bedingung aufgelöst: Es gilt $U\circ Q=F\circ V$ und ist ${\mathcal {D}}$ eine weitere Kategorie mit Funktoren $Q'\colon {\mathcal {D}}\rightarrow {\mathcal {Set}}_{*}$ und $V'\colon {\mathcal {D}}\rightarrow {\mathcal {C}}$ und $U\circ Q'=F\circ V'$, so gibt es genau einen Funktor $\textstyle A\colon {\mathcal {D}}\rightarrow \int _{\mathcal {C}}F$ mit $Q\circ A=Q'$ und $V\circ A=V'$.

Kolimites darstellbarer Funktoren

Sei ${\mathcal {C}}$ eine kleine Kategorie und $F\colon {\mathcal {C}}\rightarrow {\mathcal {Set}}$ ein kontravarianter Funktor, das heißt eine Prägarbe auf ${\mathcal {C}}$. Den oben eingeführten Funktor $\textstyle V\colon \int _{\mathcal {C}}F\rightarrow {\mathcal {C}}$ kann man mit der Yoneda-Einbettung $Y\colon {\mathcal {C}}\rightarrow {\mathcal {Set}}^{{\mathcal {C}}^{op}}$ verlängern und erhält so einen kontravarianten Funktor

$Y\circ V\,\,\colon \,\,\int _{\mathcal {C}}F\rightarrow {\mathcal {C}}\rightarrow {\mathcal {Set}}^{{\mathcal {C}}^{op}}$,

dessen Kolimes in der Funktorkategorie ${\mathcal {Set}}^{{\mathcal {C}}^{op}}$ existiert. Es besteht die natürliche Isomorphie $F\cong \lim _{\rightarrow }(Y\circ V)$. Da Funktoren der Form $Y\circ V$ darstellbar sind, kann man diesen Sachverhalt auch so formulieren, dass Prägarben Kolimites darstellbarer Prägraben sind.