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