Durchschnitt (Kategorientheorie)

Durchschnitte in der Kategorientheorie verallgemeinern die aus der Mengenlehre bekannte Durchschnittsbildung. Während Durchschnitte in der Mengenlehre stets existieren, muss dies für beliebige Kategorien nicht der Fall sein.

Motivation

Einen Durchschnitt $\bigcap _{i\in I}{A}_i$ von Mengen $A_i$ kann man stets als Durchschnitt von Teilmengen einer festen Menge $B$ auffassen, etwa von Teilmengen von $B=\bigcup _{i\in I}{A}_i$. Die Verallgemeinerung der Teilmengenbeziehung $A_i\subset B$ auf beliebige Kategorien ist der Begriff des Unterobjekts, das heißt eines Monomorphismus $m_i:A_i\rightarrowtail B$. Der Durchschnitt $\bigcap _{i\in I}{A}_i$ ist ebenfalls ein Unterobjekt von $B$ und auch von jedem $A_i$, genauer das größte aller Unterobjekte von $B$, das auch Unterobjekt von jedem $A_i$ ist. Überträgt man dies in die Begriffswelt der Kategorientheorie, so kommt man zu folgender Definition.

Diagramm zur Definition

Definition

Es sei $B$ Objekt einer Kategorie $𝒞$ und $(A_i,m_i{)}_{i\in I}$ eine Familie von Unterobjekten von $B$, das heißt von Monomorphismen $m_i:A_i\rightarrowtail B$. Ein Morphismus $d:D\to B$, bzw. das Paar $(D,d)$ heißt Durchschnitt der Familie $(A_i,m_i{)}_{i\in I}$, wenn

• Für jedes $i\in I$ gibt es einen Morphismus $d_i:D\to A_i$ mit $m_i\circ d_i=d$.
• Ist auch $c:C\to B$ ein Morphismus mit der Eigenschaft, dass es zu jedem $i\in I$ einen Morphismus $c_i:C\to A_i$ mit $m_i\circ c_i=c$ gibt, so gibt es einen eindeutig bestimmten Morphismus $f:C\to D$ mit $c=d\circ f$.

Bemerkungen und Beispiele

• In obiger einleitender Motivation war der Durchschnitt als Unterobjekt von $B$ beschrieben und demnach müsste in obiger Definition $d:D\to B$ ein Monomorphismus sein. Das ist nicht gefordert worden, weil es sich automatisch ergibt.
• Ist in der Kategorie der Mengen $m_i:A_i\rightarrowtail B$ eine Inklusionsabbildung, so ist die Inklusionsabbildung $d:\bigcap _{i\in I}{A}_i\to B$ ein Durchschnitt gemäß obiger Definition. Daher bezeichnet man den Durchschnitt auch in der Kategorientheorie gerne mit $\bigcap _{i\in I}{A}_i$, wobei dann die Morphismen zwar nicht genannt aber immer mit gemeint sind.
• In Kategorien wie der der Gruppen oder der topologischen Räume erhält man kategorientheoretische Durchschnitte wie in der Kategorie der Mengen, indem man auf dem mengentheoretischen Durchschnitt die entsprechende induzierte Teilraumstruktur betrachtet.
• Man sagt, eine Kategorie habe Durchschnitte, wenn in ihr jede Familie von Unterobjekten eines Objekts einen Durchschnitt besitzt. Die Kategorien der Mengen, der Gruppen oder der topologischen Räume und viele ihrer gängigen Unterkategorien haben Durchschnitte. Entsprechend sagt man, eine Kategorie habe endliche Durchschnitte, wenn jede endliche Familie von Unterobjekten eines Objekts einen Durchschnitt hat.
• Die Kategorie der nicht-leeren Mengen hat keine Durchschnitte. Die Unterobjekte $\{0\}$ und $\{1\}$ von $\{0,1\}$ haben keinen Durchschnitt.

Der Durchschnitt als Pullback

Definitionsgemäß ist ein Durchschnitt nichts anderes als ein Pullback von Monomorphismen. Genauer betrachte man für eine gegebene Familie von Monomorphismen $(m_i:A_i\rightarrowtail B{)}_{i\in I}$ einer Kategorie $𝒞$ die Kategorie $ℐ$ mit Objekten $I\cup \{j\}$, wobei $j\notin I$, und Morphismen die Identitäten auf den Objekten und für jedes $i\in I$ ein Morphismus $i\to j$. Des Weiteren sei $D:ℐ\to 𝒞$ der Funktor $D(i)=A_i,i\in I$, $D(j)=B$ und $D(i\to j)=m_i$. Dann ist der oben definierte Durchschnitt nichts anderes als der Limes des Funktors $D$, das heißt das Pullback der $m_i:A_i\rightarrowtail B,i\in I$.

Da ein Limes in einer Kategorie bis auf Isomorphie eindeutig bestimmt ist, hat eine Familie von Unterobjekten bis auf Isomorphie höchstens einen Durchschnitt.

Eine Kategorie, die Pullbacks besitzt, ist damit insbesondere eine Kategorie, die Durchschnitte besitzt. Die Umkehrung gilt nicht. So hat etwa die Kategorie der endlichen Mengen alle Durchschnitte, aber aus Endlichkeitsgründen nicht alle Produkte und damit nicht alle Pullbacks.

Charakterisierung mittels Sieben

Für einen Morphismus $f:A\to B$ sei $S(f)$ das von $f$ erzeugte Sieb auf $B$, das heißt die Klasse aller möglichen Kompositionen $f\circ g$ in der Kategorie $𝒞$ mit dem gegebenen $f$ auf der linken Seite. Dann gilt:

• Eine Familie von Monomorphismen $m_i:A_i\rightarrowtail B$ hat genau dann einen Durchschnitt, wenn es einen Monomorphismus $d:D\to B$ mit $\bigcap _{i\in I}S(m_i)=S(d)$ gibt. (Ein solcher Monomorphismus ist dann ein Durchschnitt der Familie.)

Diese Charakterisierung wird im unten zitierten Lehrbuch von Popescu und Popescu als Definition verwendet.

Durchschnitte und Produkte

Für ein Objekt $B$ einer Kategorie $𝒞$ sind äquivalent:

• Jede Familie von Unterobjekten von $B$ hat einen Durchschnitt.
• Jede Familie von Objekten in der Kommakategorie $(𝒞\downarrow B)$ hat ein Produkt in $(𝒞\downarrow B)$.