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