Kommutative Ring/Ringhomomorphismen/Kategorie/Beispiel

Die Klasse der kommutativen Ringe ist mit den Ringhomomorphismen als Morphismen eine Kategorie, die Kategorie der kommutativen Ringe. Die kategoriellen Verknüpfungseigenschaften beruhen auf Fakt.