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.