{"diagram": {"value": "empty diagram", "label": "empty diagram"}, "is_colimit": 0, "construction": {"value": "terminal object", "label": "terminal object"}}
{"diagram": {"value": "empty diagram", "label": "empty diagram"}, "is_colimit": 1, "construction": {"value": "initial object", "label": "initial object"}}