{"groupoid": {"value": "Hilb\u2080", "label": "Hilb\u2080"}, "category": {"value": "Hilb", "label": "Hilb"}}