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