subcategory,supercategory,kind
Top,AdmRep,total restriction
SymmRel,Rel,core
Surj,Set,essentially wide
Set,Pfn,total restriction
Pos,Pros,skeleton
Pfn,Rel,essentially wide
Perm,FinSet,core
Mat_k,FinVect_k,skeleton
Inj,Set,essentially wide
Hilb₀,Hilb,core
FinOrd,FinSet,skeleton
Bij,Set,core