{"groupoid": {"value": "Perm", "label": "Perm"}, "category": {"value": "FinSet", "label": "FinSet"}}