category,construction
CRing,binary product
CRing,binary sum
CRing,initial object
CRing,pullback
CRing,pushout
CRing,terminal object