The category CRingCRing


CRingCRing is the category of commutative rings and ring homomorphisms.

A commutative ring is a commutative monoid object in Ab, so CRing=CMon(Ab)CRing = CMon(Ab). As for commutative monoid objects in any symmetric monoidal category, the tensor product of commutative rings is again a commutative ring, and is the coproduct in CRingCRing; thus CRingCRing is cocartesian monoidal.

The opposite category CRing opCRing^{op} is the category of affine schemes.


category: category

Revised on September 12, 2014 20:37:17 by Hew Wolff? (