groupoid,category
Perm,FinSet