groupoid,groupoid_label,category,category_label
Perm,Perm,FinSet,FinSet