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.

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 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 aus ${\mathcal {C}}$ heißt ein Kogenerator für ${\mathcal {C}}$ , falls die einelementige Menge $\{K\}$ ein Kogenerator für ${\mathcal {C}}$ ist.

Statt Generator und Kogenerator findet man auch die Bezeichnung Separator und Koseparator.

Beispiele

In der Kategorie ${\mathcal {Set}}$ der Mengen ist jede nicht-leere Menge 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 ist, das Verlangte.

Jede Menge 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 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 ein Kogenerator.
In der Kategorie ${\mathcal {Mod}}_{R}$ der Moduln über einem Ring ist der als Modul aufgefasste Ring ein Generator.
Die Kategorie Ringe mit Einselement besitzt keine Kogeneratoren. (Wäre nämlich 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 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 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 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 einer Kategorie ${\mathcal {C}}$ , die beliebige Koprodukte besitzt, ist genau dann ein Generator für ${\mathcal {C}}$ , wenn es zu jedem Objekt aus ${\mathcal {C}}$ eine Menge und einen Epimorphismus $\textstyle \coprod _{i\in I}G\rightarrow A$ des -fachen Koproduktes von nach gibt.

Dual dazu gilt:

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

Basierend auf einem Artikel in:

Wikipedia.de