{"category": {"value": "Set*", "label": "Set*"}, "construction": {"value": "initial object", "label": "initial object"}}
{"category": {"value": "Set*", "label": "Set*"}, "construction": {"value": "pushout", "label": "pushout"}}
{"category": {"value": "Set*", "label": "Set*"}, "construction": {"value": "terminal object", "label": "terminal object"}}