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 $𝒞$ eine Kategorie und $F:𝒞\to 𝒮ℯ𝓉$ ein (kovarianter) Funktor in die Kategorie der Mengen $𝒮ℯ𝓉$. Dann heißt die Kategorie mit

• Objekten: Paare $(C,x)$, wobei $C$ Objekt aus $𝒞$ ist und $x\in F(C)$ ein Element der Menge,
• Morphismen $f:(C,x)\to (C^{\prime },x^{\prime })$: Morphismen $f:C\to C^{\prime }$, die $F(f)(x)=x^{\prime }$ erfüllen,

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

Definition für kontravariante Funktoren

Sei $𝒞$ eine Kategorie und $F:𝒞\to 𝒮ℯ𝓉$ ein kontravarianter Funktor in die Kategorie der Mengen $𝒮ℯ𝓉$. Dann heißt die Kategorie mit

• Objekten: Paare $(C,x)$, wobei $C$ Objekt aus $𝒞$ ist und $x\in F(C)$ ein Element der Menge,
• Morphismen $f:(C,x)\to (C^{\prime },x^{\prime })$: Morphismen $f:C\to C^{\prime }$, die $F(f)(x^{\prime })=x$ erfüllen,

die Kategorie der Elemente zu $F$, wobei die Komposition der Morphismen diejenige aus $𝒞$ ist. Diese Kategorie wird ebenfalls mit $\int F$ oder $\underset{𝒞}{\int }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 $𝒞$ auch identische Morphismen in $\int F$ sind, und dass die $𝒞$-Komposition zweier Morphismen aus $\int F$ wieder ein Morphismus in $\int F$ ist.
• Die Definition für kontravariante Funktoren $F:𝒞\to 𝒮ℯ𝓉$ lässt sich alternativ auf die Definition für kovariante Funktoren mittels der Formel $\underset{𝒞}{\int }F:=(\underset{{𝒞}^{op}}{\int }F{)}^{op}$ zurückführen, denn $F$ ist ein kovarianter Funktor ${𝒞}^{op}\to 𝒮ℯ𝓉$.

Beispiele

• Das einfachste Beispiel erhält man, wenn die Kategorie $𝒞$ gleich $𝒮ℯ𝓉$ und der Funktor $F$ die Identität $I:𝒮ℯ𝓉\to 𝒮ℯ𝓉$ ist. Die Kategorie der Elemente $\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^{\prime },c^{\prime })$ sind Abbildungen $f:C\to C^{\prime }$, die den ausgewählten Punkt erhalten, für die also $f(c)=c^{\prime }$ gilt. $\int I$ ist also nichts anderes als die Kategorie der Mengen mit ausgezeichnetem Punkt.
• Sei $C$ ein Objekt der Kategorie $𝒞$ und ${\mathrm{H}\mathrm{o}\mathrm{m}}_{𝒞}(C,-):𝒞\to 𝒮ℯ𝓉$ der zugehörige kovariante Hom-Funktor. Ein Objekt aus der Kategorie der Elemente ist definitionsgemäß ein Paar $(D,f)$ mit $f\in {\mathrm{H}\mathrm{o}\mathrm{m}}_{𝒞}(C,D)$ und ein Morphismus $(D_1,f_1)\to (D_2,f_2)$ ist ein $𝒞$-Morphismus $h:D_1\to D_2$ mit ${\mathrm{H}\mathrm{o}\mathrm{m}}_{𝒞}(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 $\underset{𝒞}{\int }{\mathrm{H}\mathrm{o}\mathrm{m}}_{𝒞}(C,-)$ ist ein Morphismus $f\in {\mathrm{H}\mathrm{o}\mathrm{m}}_{𝒞}(C,D)$ und ein Morphismus ist ein $𝒞$-Morphismus $h:D_1\to D_2$ mit $h\circ f_1=f_2$. Diese Kategorie ist daher isomorph zur Kommakategorie $C\downarrow 𝒞$:

$\underset{𝒞}{\int }{\mathrm{H}\mathrm{o}\mathrm{m}}_{𝒞}(C,-)\cong C\downarrow 𝒞$    und dual dazu    $\underset{𝒞}{\int }{\mathrm{H}\mathrm{o}\mathrm{m}}_{𝒞}(-,C)\cong 𝒞\downarrow C$.

• Jede Kategorie $𝒞$ ist isomorph zu einer geeigneten Kategorie der Elemente, denn ist $1:𝒞\to 𝒮ℯ𝓉$ der konstante Funktor mit Wert $\{0\}$, der also jedes Objekt auf die Einermenge $\{0\}$ und jeden Morphismus auf die Identität $\{0\}\to \{0\}$ abbildet, so ist offenbar $𝒞\cong \underset{𝒞}{\int }1$.

Darstellbarkeit

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

• Ein kovarianter Funktor $F:𝒞\to 𝒮ℯ𝓉$ ist genau dann darstellbar, wenn $\underset{𝒞}{\int }F$ ein Anfangsobjekt hat.

• Ein kontravarianter Funktor $F:𝒞\to 𝒮ℯ𝓉$ ist genau dann darstellbar, wenn $\underset{𝒞}{\int }F$ ein Endobjekt hat.

Kategorie der Elemente als Pullback

Pullback-Diagramm

Sei $𝒞$ eine Kategorie und $F:𝒞\to 𝒮ℯ𝓉$ ein Funktor. Weiter sei ${𝒮ℯ𝓉}_{*}$ die Kategorie der Mengen mit ausgezeichnetem Punkt. Dann haben wir weitere Funktoren:

• $V:\underset{𝒞}{\int }F\to 𝒞$, der Objekte $(C,x)$ auf $C$ abbildet und auf Morphismen die Identität ist.
• $Q:\underset{𝒞}{\int }F\to {𝒮ℯ𝓉}_{*}$, 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:{𝒮ℯ𝓉}_{*}\to 𝒮ℯ𝓉$, 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 $𝒟$ eine weitere Kategorie mit Funktoren $Q^{\prime }:𝒟\to {𝒮ℯ𝓉}_{*}$ und $V^{\prime }:𝒟\to 𝒞$ und $U\circ Q^{\prime }=F\circ V^{\prime }$, so gibt es genau einen Funktor $A:𝒟\to \underset{𝒞}{\int }F$ mit $Q\circ A=Q^{\prime }$ und $V\circ A=V^{\prime }$.

Kolimites darstellbarer Funktoren

Sei $𝒞$ eine kleine Kategorie und $F:𝒞\to 𝒮ℯ𝓉$ ein kontravarianter Funktor, das heißt eine Prägarbe auf $𝒞$. Den oben eingeführten Funktor $V:\underset{𝒞}{\int }F\to 𝒞$ kann man mit der Yoneda-Einbettung $Y:𝒞\to {𝒮ℯ𝓉}^{{𝒞}^{op}}$ verlängern und erhält so einen kontravarianten Funktor

$Y\circ V:\underset{𝒞}{\int }F\to 𝒞\to {𝒮ℯ𝓉}^{{𝒞}^{op}}$,

dessen Kolimes in der Funktorkategorie ${𝒮ℯ𝓉}^{{𝒞}^{op}}$ existiert. Es besteht die natürliche Isomorphie $F\cong \underrightarrow{\lim }(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.