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