Gruppen/Kategorie/Beispiel

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Die Klasse aller Gruppen bildet zusammen mit den Gruppenhomomorphismen eine Kategorie, die Kategorie der Gruppen. Dass die kategoriellen Eigenschaften erfüllt sind, beruht auf Fakt  ((1),(2)).