groupoid,groupoid_label,category,category_label
Hilb₀,Hilb₀,Hilb,Hilb