{"category": {"value": "Comp", "label": "Comp"}, "construction": {"value": "binary sum", "label": "binary sum"}}
{"category": {"value": "Comp", "label": "Comp"}, "construction": {"value": "pullback", "label": "pullback"}}