subcategory,supercategory
Pfn,Rel
Inj,Set
Surj,Set