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