Unterobjekt-Klassifizierer
# Unterobjekt-Klassifizierer

Unterobjekt-Klassifizierer werden im mathematischen Teilgebiet der Kategorientheorie untersucht. Es handelt sich um einen Monomorphismus, so dass jedes Unterobjekt auf diese Weise als Pullback dieses Monomorphismus längs eines eindeutig bestimmten Morphismus auftritt. Die Grundidee stammt aus der Kategorie der Mengen, in der eine Teilmenge mit der zugehörigen charakteristischen Funktion identifiziert werden kann.

## Unterobjekt-Klassifizierer für Mengen

Es sei $true:\{0\}\rightarrow \{0,1\}$ durch $true(0):=1$ definiert, das ist offenbar ein Monomorphismus in ${\mathcal {Set}}$, der Kategorie der Mengen. Ferner seien $C$ eine Menge und $D\subset C$ eine Teilmenge.
    $\chi _{D}:C\rightarrow \{0,1\},\quad c\mapsto {\begin{cases}1&{\text{ wenn }}c\in D\\0&{\text{ wenn }}c\notin D\end{cases}}$
sei die charakteristische Funktion der Teilmenge $D\subset C$. Bezeichnet man die Inklusion $D\subset C$ mit $\iota$, so hat man folgendes Diagramm
${\begin{array}{ccc}D&\rightarrow &\{0\}\\{\Bigg \downarrow }\iota &&\quad \quad {\Bigg \downarrow }true\\C&{\xrightarrow[]{\chi _{D}}}&\{0,1\}\end{array}}$,
das offenbar kommutativ ist, denn beide möglichen Pfade bilden alles auf 1 ab. Mehr noch, dieses Diagramm ist sogar ein Pullback, denn macht auch $f:E\rightarrow C$ das Diagramm
${\begin{array}{ccc}E&\rightarrow &\{0\}\\{\Bigg \downarrow }f&&\quad \quad {\Bigg \downarrow }true\\C&{\xrightarrow[]{\chi _{D}}}&\{0,1\}\end{array}}$
kommutativ, so muss $f(E)\subset D$ sein, das heißt, es gibt eine eindeutige Faktorisierung $f=\iota \circ f|^{D}$, wobei $f|^{D}$ die Abbildung $f$ mit auf $D$ eingeschränkter Zielmenge sei. Streng genommen müsste man auch die Faktorisierung des Pfeils nach $\{0\}$ zeigen, aber da es von jeder Menge nur eine einzige Abbildung nach $\{0\}$ geben kann (man sagt dazu auch, $\{0\}$ sei ein terminales Objekt), ist das automatisch erfüllt. Ferner kann man sich leicht überlegen, dass $\chi _{D}$ die einzige Abbildung $C\rightarrow \{0,1\}$ ist, die das erstgenannte Diagramm zu einem Pullback macht. Dies ist letztlich nichts anderes als die übliche Identifizierung einer Teilmenge mit der zugehörigen charakteristischen Funktion. Diese Betrachtungen motivieren folgende Definition:

## Definition

Es sei ${\mathcal {C}}$ eine Kategorie mit einem terminalen Objekt $1$. Ein Unterobjekt-Klassifizierer ist ein Monomorphismus $true:1\rightarrow \Omega$ in ${\mathcal {C}}$, so dass folgende Eigenschaft erfüllt ist: Zu jedem Monomorphismus $m:D\rightarrow C$ in ${\mathcal {C}}$ gibt es genau einen Morphismus $\chi _{m}:C\rightarrow \Omega$, so dass
${\begin{array}{ccc}D&\rightarrow &1\\{\Bigg \downarrow }m&&\quad \quad {\Bigg \downarrow }true\\C&{\xrightarrow[]{\chi _{m}}}&\Omega \end{array}}$
ein Pullback ist.

## Beispiele

* Nach obigen Ausführungen ist $true:\{0\}\rightarrow \{0,1\}$ ein Unterobjekt-Klassifizierer in der Kategorie der Mengen.
* Es sei $M$ ein Monoid und ${\mathcal {B}}M$ die Kategorie der M-Räume. Ein „Rechtsideal“ in $M$ ist eine Teilmenge $N\subset M$, so dass $N\supset Na$ für alle $a\in M$. Die leere Menge und $M$ sind stets Rechtsideale. Die Menge $\Omega$ aller Rechtsideale von $M$ wird durch die Operation
       $\Omega \times M\rightarrow M,\quad (N,a)\mapsto N\cdot a:=\{b\mid ab\in N\}$
    zu einem $M$-Raum. Der einelementige Raum $1=\{0\}$ mit der trivialen (und einzig möglichen) Operation von $M$ ist ein terminales Objekt in ${\mathcal {B}}M$ und
       $true:1=\{0\}\rightarrow \Omega ,\quad true(0):=M$
    ist ein Unterobjekt-Klassifizierer in ${\mathcal {B}}M$. Ist $m:D\rightarrow C$ ein $M$-Monomorphismus, so leistet
       $\chi _{m}:C\rightarrow \Omega ,\quad c\mapsto \chi _{m}(c):=\{a\in M\mid x\cdot a\in m(D)\}$
    das Verlangte.
* Eine beliebige kleine Kategorie ${\mathcal {C}}$ lässt sich bekanntlich mittels der Yoneda-Einbettung in die Kategorie der Prägarben auf ${\mathcal {C}}$, das heißt in die Funktorkategorie ${\hat {\mathcal {C}}}={\mathcal {Set}}^{{\mathcal {C}}^{op}}$ volltreu einbetten. Auch wenn ${\mathcal {C}}$ selbst keinen Unterobjekt-Klassifizierer hat, so gibt es stets einen in ${\hat {\mathcal {C}}}$.
    Da $1=\{0\}$ ein terminales Objekt in ${\mathcal {Set}}$ ist, prüft man leicht, dass der mit ${\hat {1}}$ bezeichnete Funktor ${\mathcal {C}}^{op}\rightarrow {\mathcal {Set}}$, der jedes Objekt auf 1 und alle Morphismen auf $\mathrm {id} _{1}:1\rightarrow 1$ abbildet, ein terminales Objekt in ${\hat {\mathcal {C}}}$ ist.
    Wir definieren nun ein Objekt $\Omega$ in ${\hat {\mathcal {C}}}$, das heißt einen Funktor $\Omega :{\mathcal {C}}^{op}\rightarrow {\mathcal {Set}}$ durch
       $\Omega (C)$ = Menge aller Siebe auf $C$
    und für einen Morphismus $f:C\rightarrow D$
       $\Omega (f):\Omega (D)\rightarrow \Omega (C),\quad \Omega (f)(S):=f^{*}(S):=\{h\mid f\circ h\in S\}$
    Bezeichnet $t(C)$ das maximale Sieb auf $C$, also die Menge aller Morphismen mit Ziel $C$, so ist
       $true:{\hat {1}}\rightarrow \Omega ,\quad true_{C}:{\hat {1}}(C)=\{0\}\rightarrow \Omega (C),\quad 0\mapsto t(C)$
    ein Unterobjekt-Klassifizierer in ${\hat {\mathcal {C}}}$.
* Viele weitere Kategorien sind äquivalent zu einer Prägarben-Kategorie des vorangegangenen Beispiels und viele darin enthaltene Teilkategorien, insbesondere Kategorien von Garben, haben Unterobjekt-Klassifizierer. Die Existenz eines Unterobjekt-Klassifizierers ist integraler Bestandteil der Definition eines Topos.
* Die Kategorie ${\mathcal {Ab}}$ der abelschen Gruppen hat keinen Unterobjekt-Klassifizierer. Allgemeiner hat die Kategorie der Links-R-Moduln über einem beliebigen Ring $R$ keinen Unterobjekt-Klassifizierer.

## Darstellung des Unterobjektfunktors

Unterobjekte in einer Kategorie ${\mathcal {C}}$ sind Äquivalenzklassen (Isomorphieklassen) von Monomorphismen $m:S\rightarrow C$. Wir wollen von ${\mathcal {C}}$ voraussetzen, dass die Gesamtheit der Unterobjekte eines Objektes $C$ eine Menge bildet, die wir mit $\mathrm {Sub} _{\mathcal {C}}(C)$ bezeichnen. Ferner wollen wir voraussetzen, dass ${\mathcal {C}}$ endliche Limiten, also insbesondere Pullbacks besitzt. Ist $f:C\rightarrow D$ ein Morphismus in ${\mathcal {C}}$, so gibt es zu jedem Unterobjekt von $D$, das etwa durch einen Monomorphismus $h:E\rightarrow D$ repräsentiert werde, ein Pullback
${\begin{array}{ccc}E'&{\xrightarrow[]{f'}}&E\\{\Bigg \downarrow }h'&&\quad {\Bigg \downarrow }h\\C&{\xrightarrow[]{f}}&D\end{array}}$
und man erhält mittels der Zuordnung $h\mapsto h'$ eine wohldefinierte Abbildung $\mathrm {Sub} _{\mathcal {C}}(D)\rightarrow \mathrm {Sub} _{\mathcal {C}}(C)$, die man mit $\mathrm {Sub} _{\mathcal {C}}(f)$ bezeichnet. Auf diese Weise erhält man den sogenannten Unterobjektfunktor $\mathrm {Sub} _{\mathcal {C}}:{\mathcal {C}}^{op}\rightarrow {\mathcal {Set}}$. Unter den genannten Voraussetzungen an ${\mathcal {C}}$ gilt nun, dass es genau dann einen Unterobjekt-Klassifizierer gibt, wenn der Unterobjektfunktor darstellbar ist, genauer, wenn es ein Objekt $\Omega$ in ${\mathcal {C}}$ gibt und in $C$ natürliche Isomorphismen
    $\alpha _{C}:\mathrm {Sub} _{\mathcal {C}}(C)\cong \mathrm {Hom} _{\mathcal {C}}(C,\Omega )$.