{"groupoid": {"value": "Bij", "label": "Bij"}, "category": {"value": "Set", "label": "Set"}}
{"groupoid": {"value": "SymmRel", "label": "SymmRel"}, "category": {"value": "Rel", "label": "Rel"}}
{"groupoid": {"value": "Hilb\u2080", "label": "Hilb\u2080"}, "category": {"value": "Hilb", "label": "Hilb"}}
{"groupoid": {"value": "Perm", "label": "Perm"}, "category": {"value": "FinSet", "label": "FinSet"}}