groupoid,groupoid_label,category,category_label
Bij,Bij,Set,Set
SymmRel,SymmRel,Rel,Rel
Hilb₀,Hilb₀,Hilb,Hilb
Perm,Perm,FinSet,FinSet