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