subcategory,supercategory,kind 1,1,contravariant equivalence CompBoolAlg,FinSet,contravariant equivalence FinSet,CompBoolAlg,contravariant equivalence Frm,Loc,contravariant equivalence Hilb,Hilb,contravariant equivalence Loc,Frm,contravariant equivalence Perm,Perm,contravariant equivalence Prof,Prof,contravariant equivalence Rel,Rel,contravariant equivalence Span(Set),Span(Set),contravariant equivalence nCob,nCob,contravariant equivalence