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