Generator und Kogenerator

Generator und Kogenerator sind Begriffe aus dem mathematischen Teilgebiet der Kategorientheorie. Es handelt sich um Objekte einer Kategorie, die zu beliebigen Objekten der Kategorie in einer bestimmten Beziehung stehen. Statt Generator und Kogenerator findet man auch die Bezeichnungen Separator und Koseparator.

Definitionen

Eine Menge $\{G_{i}\mid i\in I\}$ von Objekten einer Kategorie ${\mathcal {C}}$ heißt eine Menge von Generatoren für ${\mathcal {C}}$, wenn es zu je zwei verschiedenen Morphismen $f,g:A\rightarrow B$ ein $i\in I$ und einen Morphismus $h:G_{i}\rightarrow A$ gibt mit $f\circ h\not =g\circ h$.

Ein Objekt $G$ aus ${\mathcal {C}}$ heißt ein Generator für ${\mathcal {C}}$, falls die einelementige Menge $\{G\}$ ein Generator für ${\mathcal {C}}$ ist.

Dual dazu ist der Begriff des Kogenerators:

Eine Menge $\{K_{i}\mid i\in I\}$ von Objekten einer Kategorie ${\mathcal {C}}$ heißt eine Menge von Kogeneratoren für ${\mathcal {C}}$, wenn es zu je zwei verschiedenen Morphismen $f,g:A\rightarrow B$ ein $i\in I$ und einen Morphismus $h:B\rightarrow K_{i}$ gibt mit $h\circ f\not =h\circ g$.

Ein Objekt $K$ aus ${\mathcal {C}}$ heißt ein Kogenerator für ${\mathcal {C}}$, falls die einelementige Menge $\{K\}$ ein Kogenerator für ${\mathcal {C}}$ ist.

Beispiele

• In der Kategorie ${\mathcal {Set}}$ der Mengen ist jede nicht-leere Menge $G$ ein Generator, denn sind $f,g:A\rightarrow B$ verschiedene Abbildungen, etwa $f(a)\not =g(a)$, so leistet die Abbildung $h:G\rightarrow A$, die konstant gleich $a$ ist, das Verlangte.

Jede Menge $K$ mit mindestens zwei Elementen ist ein Kogenerator in ${\mathcal {Set}}$, denn sind $f,g:A\rightarrow B$ verschiedene Abbildungen, etwa $f(a)\not =g(a)$, so leistet jede Abbildung $h:B\rightarrow K$, die $f(a)$ und $g(a)$ auf verschiedene Elemente in $K$ abbildet, das Verlangte.

• In der Kategorie ${\mathcal {T\!op}}$ der topologischen Räume ist jeder nicht-leere diskrete Raum ein Generator und jeder Raum, der einen mindestens zweielementigen Unterraum mit der trivialen Teilraumtopologie enthält, ist ein Kogenerator.
• In der Kategorie der vollständig regulären Räume oder in der Kategorie der kompakten Hausdorffräume ist das Einheitsintervall $[0,1]$ ein Kogenerator.
• In der Kategorie ${\mathcal {Mod}}_{R}$ der Moduln über einem Ring $R$ ist der als Modul aufgefasste Ring $R$ ein Generator.
• Die Kategorie Ringe mit Einselement besitzt keine Kogeneratoren. (Wäre nämlich $R$ ein Kogenerator, so müsste es zu zwei verschiedenen Körpermorphismen $K\rightarrow K$ einen Morphismus $h:K\rightarrow R$ geben mit $h\circ f\not =h\circ g$. Aber Morphismen $h:K\rightarrow R$ auf Körpern sind stets die Nullfunktion oder injektiv, weshalb es für Körper mit einer Mächtigkeit größer als der Mächtigkeit von $R$ keine solchen $h:K\rightarrow R$ geben kann.)

Eigenschaften

Hom-Funktoren

Eine einfache Umformulierung, die von manchen Autoren als Definition verwendet wird, lautet:

Ein Objekt $G$ aus ${\mathcal {C}}$ ist genau dann ein Generator für ${\mathcal {C}}$, wenn der Hom-Funktor $\mathrm {hom} _{\mathcal {C}}(G,-):{\mathcal {C}}\rightarrow {\mathcal {Set}}$ treu ist.

Dual dazu gilt

Ein Objekt $K$ aus ${\mathcal {C}}$ ist genau dann ein Kogenerator für ${\mathcal {C}}$, wenn der Hom-Funktor $\mathrm {hom} _{\mathcal {C}}(-,K):{\mathcal {C}}\rightarrow {\mathcal {Set}}$ treu ist.

Produkte und Koprodukte

Folgende Eigenschaften zeigen, wie Generatoren und Kogeneratoren zu beliebigen Objekten der Kategorie in Beziehung gesetzt werden können:

Ein Objekt $G$ einer Kategorie ${\mathcal {C}}$, die beliebige Koprodukte besitzt, ist genau dann ein Generator für ${\mathcal {C}}$, wenn es zu jedem Objekt $A$ aus ${\mathcal {C}}$ eine Menge $I$ und einen Epimorphismus $\textstyle \coprod _{i\in I}G\rightarrow A$ des $I$-fachen Koproduktes von $G$ nach $A$ gibt.

Dual dazu gilt:

Ein Objekt $K$ einer Kategorie ${\mathcal {C}}$, die beliebige Produkte besitzt, ist genau dann ein Kogenerator für ${\mathcal {C}}$, wenn es zu jedem Objekt $A$ aus ${\mathcal {C}}$ eine Menge $I$ und einen Monomorphismus $\textstyle A\rightarrow \prod _{i\in I}K$ von $A$ in das $I$-fache Produkt von $K$ gibt.

Einzelnachweise

V

Kategorientheorie