{"category": {"value": "CRing", "label": "CRing"}, "construction": {"value": "binary product", "label": "binary product"}}
{"category": {"value": "CRing", "label": "CRing"}, "construction": {"value": "binary sum", "label": "binary sum"}}
{"category": {"value": "CRing", "label": "CRing"}, "construction": {"value": "initial object", "label": "initial object"}}
{"category": {"value": "CRing", "label": "CRing"}, "construction": {"value": "pullback", "label": "pullback"}}
{"category": {"value": "CRing", "label": "CRing"}, "construction": {"value": "pushout", "label": "pushout"}}
{"category": {"value": "CRing", "label": "CRing"}, "construction": {"value": "terminal object", "label": "terminal object"}}