subcategory,supercategory,kind
FinVect_k,Mat_k,equivalence
Mat_k,FinVect_k,equivalence
PDiff,PL,equivalence
PL,PDiff,equivalence
Pfn,Set*,equivalence
Set*,Pfn,equivalence
SoberTop,SpLoc,equivalence
SpLoc,SoberTop,equivalence