{"category": {"value": "Quiv", "label": "Quiv"}, "construction": {"value": "binary product", "label": "binary product"}}
{"category": {"value": "Quiv", "label": "Quiv"}, "construction": {"value": "equalizer", "label": "equalizer"}}
{"category": {"value": "Quiv", "label": "Quiv"}, "construction": {"value": "pullback", "label": "pullback"}}