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