{"subcategory": "nCob", "supercategory": "nCob", "kind": "contravariant equivalence"}
{"subcategory": "CartSp", "supercategory": "Vect_k", "kind": "plain"}
{"subcategory": "FinVect_k", "supercategory": "Vect_k", "kind": "full"}
{"subcategory": "LieAlg_k", "supercategory": "Vect_k", "kind": "Lie algebras"}
{"subcategory": "CompCat", "supercategory": "TracedSymmMonCat", "kind": "plain"}
{"subcategory": "AbTor", "supercategory": "Tor", "kind": "plain"}
{"subcategory": "Ste", "supercategory": "TopVect", "kind": "full"}
{"subcategory": "AdicRing", "supercategory": "TopRing", "kind": "plain"}
{"subcategory": "Comp", "supercategory": "Top", "kind": "reflection"}
{"subcategory": "Haus", "supercategory": "Top", "kind": "full"}
{"subcategory": "LMet", "supercategory": "Top", "kind": "plain"}
{"subcategory": "PDiff", "supercategory": "Top", "kind": "plain"}
{"subcategory": "SoberTop", "supercategory": "Top", "kind": "full"}
{"subcategory": "TopGrp", "supercategory": "Top", "kind": "groups"}
{"subcategory": "TopMon", "supercategory": "Top", "kind": "monoids"}
{"subcategory": "TopRing", "supercategory": "Top", "kind": "rings"}
{"subcategory": "TopVect", "supercategory": "Top", "kind": "plain"}
{"subcategory": "*Aut", "supercategory": "SymmMonCat", "kind": "plain"}
{"subcategory": "TracedSymmMonCat", "supercategory": "SymmMonCat", "kind": "plain"}
{"subcategory": "PseudoMet", "supercategory": "SymLMet", "kind": "plain"}
{"subcategory": "SupLieAlg_k", "supercategory": "SupVect_k", "kind": "Lie algebras"}
{"subcategory": "Frm", "supercategory": "SupLat", "kind": "plain"}
{"subcategory": "Quant", "supercategory": "SupLat", "kind": "semigroups"}
{"subcategory": "Ban_k", "supercategory": "Ste", "kind": "full"}
{"subcategory": "Span(Set)", "supercategory": "Span(Set)", "kind": "contravariant equivalence"}
{"subcategory": "SoberTop", "supercategory": "SpLoc", "kind": "equivalence"}
{"subcategory": "SpLoc", "supercategory": "SoberTop", "kind": "equivalence"}
{"subcategory": "CMon", "supercategory": "Set*", "kind": "plain"}
{"subcategory": "Pfn", "supercategory": "Set*", "kind": "equivalence"}
{"subcategory": "Set", "supercategory": "Set*", "kind": "plain"}
{"subcategory": "Ab", "supercategory": "Set", "kind": "Abelian groups"}
{"subcategory": "Aut", "supercategory": "Set", "kind": "plain"}
{"subcategory": "Bij", "supercategory": "Set", "kind": "core"}
{"subcategory": "CMon", "supercategory": "Set", "kind": "commutative monoids"}
{"subcategory": "FinSet", "supercategory": "Set", "kind": "full"}
{"subcategory": "Grp", "supercategory": "Set", "kind": "groups"}
{"subcategory": "Inj", "supercategory": "Set", "kind": "essentially wide"}
{"subcategory": "Mon", "supercategory": "Set", "kind": "monoids"}
{"subcategory": "Pos", "supercategory": "Set", "kind": "plain"}
{"subcategory": "Pros", "supercategory": "Set", "kind": "plain"}
{"subcategory": "Ring", "supercategory": "Set", "kind": "rings"}
{"subcategory": "SemiGrp", "supercategory": "Set", "kind": "semigroups"}
{"subcategory": "SemiRing", "supercategory": "Set", "kind": "plain"}
{"subcategory": "Surj", "supercategory": "Set", "kind": "essentially wide"}
{"subcategory": "Top", "supercategory": "Set", "kind": "plain"}
{"subcategory": "Ring", "supercategory": "SemiRing", "kind": "plain"}
{"subcategory": "Lat", "supercategory": "SemiLat", "kind": "plain"}
{"subcategory": "Mon", "supercategory": "SemiGrp", "kind": "plain"}
{"subcategory": "SMan", "supercategory": "STop", "kind": "plain"}
{"subcategory": "Cat", "supercategory": "SSet", "kind": "reflection"}
{"subcategory": "SAb", "supercategory": "SSet", "kind": "Abelian groups"}
{"subcategory": "SGrp", "supercategory": "SSet", "kind": "groups"}
{"subcategory": "SLieAlg_k", "supercategory": "SSet", "kind": "Lie algebras"}
{"subcategory": "SRing", "supercategory": "SSet", "kind": "rings"}
{"subcategory": "Ring", "supercategory": "Rng", "kind": "plain"}
{"subcategory": "CRing", "supercategory": "Ring", "kind": "reflection"}
{"subcategory": "Pfn", "supercategory": "Rel", "kind": "essentially wide"}
{"subcategory": "Rel", "supercategory": "Rel", "kind": "contravariant equivalence"}
{"subcategory": "SymmRel", "supercategory": "Rel", "kind": "core"}
{"subcategory": "AdmRep", "supercategory": "RT(K\u2082)", "kind": "plain"}
{"subcategory": "KV", "supercategory": "RT(K\u2082)", "kind": "plain"}
{"subcategory": "Eff", "supercategory": "RT(K\u2081)", "kind": "plain"}
{"subcategory": "DGph", "supercategory": "Quiv", "kind": "plain"}
{"subcategory": "Met", "supercategory": "PseudoMet", "kind": "plain"}
{"subcategory": "Pos", "supercategory": "Pros", "kind": "skeleton"}
{"subcategory": "Prof", "supercategory": "Prof", "kind": "contravariant equivalence"}
{"subcategory": "DCPO", "supercategory": "Pos", "kind": "plain"}
{"subcategory": "HeytAlg", "supercategory": "Pos", "kind": "plain"}
{"subcategory": "Lat", "supercategory": "Pos", "kind": "plain"}
{"subcategory": "SemiLat", "supercategory": "Pos", "kind": "plain"}
{"subcategory": "\u0394", "supercategory": "Pos", "kind": "plain"}
{"subcategory": "Set", "supercategory": "Pfn", "kind": "total restriction"}
{"subcategory": "Set*", "supercategory": "Pfn", "kind": "equivalence"}
{"subcategory": "Perm", "supercategory": "Perm", "kind": "contravariant equivalence"}
{"subcategory": "PDiff", "supercategory": "PL", "kind": "equivalence"}
{"subcategory": "Man", "supercategory": "PDiff", "kind": "plain"}
{"subcategory": "PL", "supercategory": "PDiff", "kind": "equivalence"}
{"subcategory": "NormRing", "supercategory": "NormGrp", "kind": "commutative monoids"}
{"subcategory": "BrMonCat", "supercategory": "MonCat", "kind": "full"}
{"subcategory": "PROP", "supercategory": "MonCat", "kind": "plain"}
{"subcategory": "Ab", "supercategory": "Mon", "kind": "groups"}
{"subcategory": "CMon", "supercategory": "Mon", "kind": "monoids"}
{"subcategory": "Grp", "supercategory": "Mon", "kind": "plain"}
{"subcategory": "Alg(Ab)", "supercategory": "Mod(Ab)", "kind": "monoids"}
{"subcategory": "CommAlg(Ab)", "supercategory": "Mod(Ab)", "kind": "commutative monoids"}
{"subcategory": "Vect_k", "supercategory": "Mod(Ab)", "kind": "full"}
{"subcategory": "Ban_k", "supercategory": "Met", "kind": "plain"}
{"subcategory": "CompMet", "supercategory": "Met", "kind": "reflection"}
{"subcategory": "FinVect_k", "supercategory": "Mat_k", "kind": "equivalence"}
{"subcategory": "Mat_R", "supercategory": "Mat_SR", "kind": "plain"}
{"subcategory": "Mat_k", "supercategory": "Mat_SR", "kind": "plain"}
{"subcategory": "Mat_k", "supercategory": "Mat_R", "kind": "plain"}
{"subcategory": "Diff", "supercategory": "Man", "kind": "plain"}
{"subcategory": "LieGrp", "supercategory": "Man", "kind": "groups"}
{"subcategory": "Poiss", "supercategory": "Man", "kind": "plain"}
{"subcategory": "Frm", "supercategory": "Loc", "kind": "contravariant equivalence"}
{"subcategory": "SpLoc", "supercategory": "Loc", "kind": "full"}
{"subcategory": "BoolAlg", "supercategory": "Lat", "kind": "full"}
{"subcategory": "CompLat", "supercategory": "Lat", "kind": "plain"}
{"subcategory": "DistLat", "supercategory": "Lat", "kind": "plain"}