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