Gruppen/Kategorie/Beispiel

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)).