Kegel (Kategorientheorie)

Im mathematischen Teilgebiet der Kategorientheorie ist ein Kegel ein spezielles Konstrukt, das zur Definition von Limites und Kolimites verwendet wird.

Definition

Sei $F\colon {\mathcal {I}}\rightarrow {\mathcal {C}}$ ein Funktor zwischen Kategorien ${\mathcal {I}}$ und ${\mathcal {C}}$ , wovon ${\mathcal {I}}$ eine kleine Kategorie sei.

Ein Kegel an $F$ mit Spitze $X$ ist ein Paar $(X,(\lambda _{i})_{i\in {\mathcal {I}}})$ , bestehend aus einem Objekt $X$ aus ${\mathcal {C}}$ und einer Familie von Morphismen $\lambda _{i}\colon X\rightarrow F(i)$ für jedes Objekt $i$ aus ${\mathcal {I}}$ , so dass für alle Morphismen $m:i\rightarrow j$ die Beziehung $F(m)\circ \lambda _{i}=\lambda _{j}$ gilt.

Dual dazu definiert man

Ein Kokegel an $F$ mit Spitze $X$ ist ein Paar $(X,(\lambda _{i})_{i\in {\mathcal {I}}})$ , bestehend aus einem Objekt $X$ aus ${\mathcal {C}}$ und einer Familie von Morphismen $\lambda _{i}\colon F(i)\rightarrow X$ für jedes Objekt $i$ aus ${\mathcal {I}}$ , so dass für alle Morphismen $m:i\rightarrow j$ die Beziehung $\lambda _{i}=\lambda _{j}\circ F(m)$ gilt.

Alternativ nennt man die Kegel an $F$ in naheliegender Weise auch Kegel über $F$ und die Kokegel entsprechend Kegel unter $F$ .^[1]^[2] Ferner nennt man die auf der Indexkategorie definierten Funktoren in diesem Kontext auch Diagramme. Dem liegt die Vorstellung zugrunde, dass $F$ die Form ${\mathcal {I}}$ in die Kategorie ${\mathcal {C}}$ trägt und dort ein Diagramm in ${\mathcal {C}}$ bildet. Über bzw. unter diesen Diagrammen konstruiert man dann Kegel.

Kegel als natürliche Transformationen

Sei $(X,(\lambda _{i})_{i\in {\mathcal {I}}})$ ein Kegel über einem Funktor $F\colon {\mathcal {I}}\rightarrow {\mathcal {C}}$ . Ist $K_{X}\colon {\mathcal {I}}\rightarrow {\mathcal {C}}$ der konstante Funktor, der jedes Objekt auf $X$ und jeden Morphismus auf $1_{X}$ abbildet, so besagt die Kegelbedingung nichts anderes, als dass $(\lambda _{i})_{i\in {\mathcal {I}}}$ eine natürliche Transformation $K_{X}\Rightarrow F$ ist. Daher kann man Kegel auch als natürliche Transformationen von konstanten Funktoren nach $F$ definieren.

Dual dazu betrachte man einen Kokegel $(X,(\lambda _{i})_{i\in {\mathcal {I}}})$ . Dann besagt die Kokegelbedingung nichts anderes, als dass $(\lambda _{i})_{i\in {\mathcal {I}}}$ eine natürliche Transformation $F\Rightarrow K_{X}$ ist. Daher kann man Kokegel auch als natürliche Transformationen von $F$ nach konstanten Funktoren definieren.^[1]^[2]

Morphismen zwischen Kegeln

Sei $F\colon {\mathcal {I}}\rightarrow {\mathcal {C}}$ ein Funktor zwischen Kategorien ${\mathcal {I}}$ und ${\mathcal {C}}$ , wovon ${\mathcal {I}}$ eine kleine Kategorie sei.

Ein Morphismus zwischen zwei Kegeln $(X,(\lambda _{i})_{i\in {\mathcal {I}}})$ und $(Y,(\mu _{i})_{i\in {\mathcal {I}}})$ über $F$ ist ein ${\mathcal {C}}$ -Morphismus $f\colon X\rightarrow Y$ , so dass für alle Objekte $i$ in ${\mathcal {I}}$ die Beziehung $\lambda _{i}=\mu _{i}\circ f$ gilt.

Die Klasse der Kegel über $F$ bildet mit den so definierten Morphismen eine Kategorie. Ein Endobjekt dieser Kategorie nennt man einen Limes von $F$ oder auch einen Limeskegel von $F$ .

Dual dazu definiert man

Ein Morphismus zwischen zwei Kegeln $(X,(\lambda _{i})_{i\in {\mathcal {I}}})$ und $(Y,(\mu _{i})_{i\in {\mathcal {I}}})$ unter $F$ ist ein ${\mathcal {C}}$ -Morphismus $f\colon X\rightarrow Y$ , so dass für alle Objekte $i$ in ${\mathcal {I}}$ die Beziehung $\mu _{i}=f\circ \lambda _{i}$ gilt.

Die Klasse der Kegel unter $F$ bildet mit den so definierten Morphismen eine Kategorie. Ein Anfangsobjekt dieser Kategorie nennt man einen Kolimes von $F$ oder auch einen Kolimeskegel von $F$ .

Kegel und Funktoren

Sei $F\colon {\mathcal {I}}\rightarrow {\mathcal {C}}$ ein Funktor zwischen Kategorien ${\mathcal {I}}$ und ${\mathcal {C}}$ , wovon ${\mathcal {I}}$ eine kleine Kategorie sei. Ist $G\colon {\mathcal {C}}\rightarrow {\mathcal {D}}$ ein Funktor und $(X,(\lambda _{i})_{i\in {\mathcal {I}}})$ ein Kegel über $F$ mit Spitze $X$ , so ist $(G(X),(G(\lambda _{i})_{i\in {\mathcal {I}}})$ ein Kegel an $GF$ mit Spitze $G(X)$ . Diesen nennt man das Bild des Kegels und schreibt $G(X,(\lambda _{i})_{i\in {\mathcal {I}}})$ . Das erlaubt folgende Begriffsbildungen:^[3]

Man sagt, $G$ erhalte ${\mathcal {I}}$ -Limites, wenn gilt: Ist $F\colon {\mathcal {I}}\rightarrow {\mathcal {C}}$ und $(X,(\lambda _{i})_{i\in {\mathcal {I}}})$ ein Limeskegel an $F$ , so ist $G(X,(\lambda _{i})_{i\in {\mathcal {I}}})$ ein Limeskegel an $GF$ .

Man sagt, $G$ reflektiere ${\mathcal {I}}$ -Limites, wenn gilt: Ist $F\colon {\mathcal {I}}\rightarrow {\mathcal {C}}$ und $(X,(\lambda _{i})_{i\in {\mathcal {I}}})$ ein Kegel an $F$ und ist $G(X,(\lambda _{i})_{i\in {\mathcal {I}}})$ ein Limeskegel an $GF$ , so ist auch $(X,(\lambda _{i})_{i\in {\mathcal {I}}})$ ein Limeskegel.

Man sagt, $G$ erzeuge ${\mathcal {I}}$ -Limites, wenn gilt: Ist $F\colon {\mathcal {I}}\rightarrow {\mathcal {C}}$ und gibt es einen Limeskegel an $GF$ , so gibt es einen Kegel $(X,(\lambda _{i})_{i\in {\mathcal {I}}})$ an $F$ so dass $G(X,(\lambda _{i})_{i\in {\mathcal {I}}})$ ein Limeskegel an $GF$ ist und $G$ reflektiert ${\mathcal {I}}$ -Limites.

Statt einer festen Indexkategorie ${\mathcal {I}}$ kann man auch gewisse Klassen betrachten und davon sprechen, dass ein Funktor alle Limites dieser Klasse erhält bzw. reflektiert bzw. erzeugt. So kann ein Funktor etwa alle endlichen Limites erhalten, was bedeutet, dass obige Definition des Erhaltens auf alle endlichen Indexkategorien zutrifft. Ein Funktor, der alle Limites erhält, heißt stetig, Hom-Funktoren sind von dieser Art. Ferner kann man diese Begriffsbildungen dualisieren und definieren, was es bedeutet, dass ein Funktor eine gewisse Klasse von Kolimites erhält bzw. reflektiert bzw. erzeugt.

Einzelnachweise

↑ ^{Hochspringen nach: a} ^b Emily Riehl: Category Theory in Context. AMS Dover Publications, 2016, ISBN 0-486-80903-X, Kap. 3.1 Limits and colimites as universal cones.
↑ ^{Hochspringen nach: a} ^b Saunders Mac Lane: Categories for the Working Mathematician. 2. Auflage. Springer, 1998, ISBN 0-387-98403-8, Kapitel III.3 Coproducts and Colimits und III.4 Limits and Products.
↑ Emily Riehl: Category Theory in Context. AMS Dover Publications, 2016, ISBN 0-486-80903-X, Definition 3.3.1, S. 90.

Basierend auf einem Artikel in:

Wikipedia.de