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