subcategory,supercategory,kind
Inj,Set,essentially wide
Pfn,Rel,essentially wide
Surj,Set,essentially wide