Sieb (Kategorientheorie)

Ein Sieb bezeichnet im mathematischen Teilgebiet der Kategorientheorie eine Menge von Morphismen mit einem festen gemeinsamen Ziel und einer gewissen Rechtsidealeigenschaft.

Definition

Es seien ${\mathcal {C}}$ eine Kategorie und $C$ ein Objekt aus ${\mathcal {C}}$. Ein Sieb auf $C$ ist eine Menge $S$ von Morphismen $f:\mathrm {dom} (f)\rightarrow C$, wobei $\mathrm {dom} (f)$ den Definitionsbereich von $f$ bezeichne, so dass folgende Bedingung erfüllt ist:

Sind $f\in S$ und $g:\mathrm {dom} (g)\rightarrow \mathrm {dom} (f)$ ein Morphismus in ${\mathcal {C}}$, so ist $f\circ g\in S$.

Jede Komposition eines Siebelementes mit einem weiteren Morphismus von rechts liegt also wieder im Sieb.

Einfache Beispiele und Eigenschaften

• Die leere Menge $S=\emptyset$ von Morphismen ist ein Sieb.
• Die Menge aller Morphismen mit Ziel $C$ ist ein Sieb, es ist das maximale Sieb auf $C$.
• Durchschnitte und Vereinigungen von Sieben sind wieder Siebe.
• Ist $R$ eine beliebige Menge von Morphismen mit Ziel $C$ so ist der Durchschnitt aller $R$ umfassenden Siebe das von $R$ erzeugte Sieb $(R)$ und es ist

$(R)=\{f\circ g\mid f\in R,g{\text{ ein mit }}f{\text{ komponierbarer Morphismus}}\}$.

• Seien $S$ ein Sieb auf $C$ und $f:D\rightarrow C$ ein Morphismus, so ist

$f^{*}S:=\{h\mid f\circ h\in S\}$

ein Sieb auf $D$, das mittels $f$ auf $D$ zurückgezogene Sieb.

• Ist $S$ ein Sieb auf $C$ und sind $f:D\rightarrow C$ und $g:E\rightarrow D$ Morphismen, so gilt $(f\circ g)^{*}(S)=g^{*}(f^{*}(S))$.

Siebe auf topologischen Räumen

Es sei $X$ ein topologischer Raum. Dann bildet man die Kategorie ${\mathcal {O}}(X)$ der offenen Mengen und Inklusionen, das heißt, dass die Objekte dieser Kategorie die offenen $U\subset X$ sind und die einzigen Morphismen die Inklusionen $V\subset U$, genauer die Inklusionsabbildungen $\iota _{V,U}:V\rightarrow U$ sind. Damit kann man Morphismen mit Ziel $U$ mit offenen Teilmengen $V\subset U$ identifizieren.

Dann ist ein Sieb auf $U$ nichts weiter als eine Menge offener Teilmengen $V\subset U$, so dass jede in einer Siebmenge enthaltene offene Menge ebenfalls im Sieb enthalten ist. Anschaulich bedeutet das: Passt eine offene Menge durch das Sieb, dann auch jede kleinere.

Ist $(V_{i})_{i\in I}$ ein System offener Mengen in $U$, zum Beispiel eine offene Überdeckung von $U$, so erhält man das von $(V_{i})_{i\in I}$ erzeugte Sieb durch Hinzunahme aller offenen Teilmengen der einzelnen $V_{i}$. Viele Konstruktionen in der Garbentheorie über einem topologischen Raum verwenden nur offene Überdeckungen und ihre Eigenschaften. Der Begriff des Siebs ist eingeführt worden, um dies auf beliebige Kategorien verallgemeinern zu können. So kommt man zum Begriff der Grothendieck-Topologie.

Siebe als Unterfunktoren des Hom-Funktors

Jedes Sieb $S$ auf $C$ in einer Kategorie ${\mathcal {C}}$ definiert wie folgt einen Funktor $F_{S}:{\mathcal {C}}\rightarrow {\mathcal {Set}}$ in die Kategorie der Mengen:

• Für ein Objekt $D$ in ${\mathcal {C}}$ sei $F_{S}(D):=S\cap \mathrm {Hom} (D,C)$
• Für einen Morphismus $g:D\rightarrow E$ in ${\mathcal {C}}$ sei $F_{S}(g):S(E)\rightarrow S(D)$ definiert durch $(F_{S}(g))(h):=h\circ g$. Offenbar ist das Diagramm

${\begin{array}{ccc}S(E)&\subset &\mathrm {Hom} (E,C)\\\quad {\Bigg \downarrow }F_{S}(g)&&\quad \quad {\Bigg \downarrow }\mathrm {Hom} (g,C)\\S(D)&\subset &\mathrm {Hom} (D,C)\end{array}}$

kommutativ, so dass $F_{S}$ ein Unterfunktor von $\mathrm {Hom} (-,C):{\mathcal {C}}\rightarrow {\mathcal {Set}}$ ist.

Umgekehrt ist $\bigcup \{F(D)\mid D\in {\mathcal {C}}\}$ für jeden Unterfunktor $F$ von $\mathrm {Hom} (-,C)$ ein Sieb. Daher identifiziert man üblicherweise $S$ mit $F_{S}$ und verwendet das Sieb selbst wie einen Funktor, nämlich wie $F_{S}$.

Im unten angegebenen Lehrbuch von H. Schubert werden Siebe als Unterfunktoren von Hom-Funktoren definiert.