{"subcategory": "MonCat", "supercategory": "Cat", "kind": "monoids"}
{"subcategory": "NormRing", "supercategory": "NormGrp", "kind": "commutative monoids"}
{"subcategory": "PDiff", "supercategory": "PL", "kind": "equivalence"}
{"subcategory": "PDiff", "supercategory": "Top", "kind": "plain"}
{"subcategory": "PL", "supercategory": "PDiff", "kind": "equivalence"}
{"subcategory": "PROP", "supercategory": "CPROP", "kind": "full"}
{"subcategory": "PROP", "supercategory": "MonCat", "kind": "plain"}
{"subcategory": "Perm", "supercategory": "FinSet", "kind": "core"}
{"subcategory": "Perm", "supercategory": "Perm", "kind": "contravariant equivalence"}
{"subcategory": "Pfn", "supercategory": "Rel", "kind": "essentially wide"}
{"subcategory": "Pfn", "supercategory": "Set*", "kind": "equivalence"}
{"subcategory": "Poiss", "supercategory": "Man", "kind": "plain"}
{"subcategory": "Pos", "supercategory": "Cat", "kind": "plain"}
{"subcategory": "Pos", "supercategory": "Pros", "kind": "skeleton"}
{"subcategory": "Pos", "supercategory": "Set", "kind": "plain"}
{"subcategory": "Prof", "supercategory": "Prof", "kind": "contravariant equivalence"}
{"subcategory": "Pros", "supercategory": "Set", "kind": "plain"}
{"subcategory": "PseudoMet", "supercategory": "SymLMet", "kind": "plain"}
{"subcategory": "Quant", "supercategory": "SupLat", "kind": "semigroups"}
{"subcategory": "Quiv", "supercategory": "Cat", "kind": "full"}
{"subcategory": "RCat", "supercategory": "Cat", "kind": "full"}
{"subcategory": "Rel", "supercategory": "Rel", "kind": "contravariant equivalence"}
{"subcategory": "Ring", "supercategory": "Ab", "kind": "monoids"}
{"subcategory": "Ring", "supercategory": "Rng", "kind": "plain"}
{"subcategory": "Ring", "supercategory": "SemiRing", "kind": "plain"}
{"subcategory": "Ring", "supercategory": "Set", "kind": "rings"}
{"subcategory": "SAb", "supercategory": "SSet", "kind": "Abelian groups"}
{"subcategory": "SGrp", "supercategory": "SSet", "kind": "groups"}
{"subcategory": "SLieAlg_k", "supercategory": "SSet", "kind": "Lie algebras"}
{"subcategory": "SMan", "supercategory": "STop", "kind": "plain"}
{"subcategory": "SRing", "supercategory": "SSet", "kind": "rings"}
{"subcategory": "SemiGrp", "supercategory": "Set", "kind": "semigroups"}
{"subcategory": "SemiLat", "supercategory": "CMon", "kind": "plain"}
{"subcategory": "SemiLat", "supercategory": "Pos", "kind": "plain"}
{"subcategory": "SemiRing", "supercategory": "Set", "kind": "plain"}
{"subcategory": "Set", "supercategory": "Ass", "kind": "plain"}
{"subcategory": "Set", "supercategory": "Cat", "kind": "plain"}
{"subcategory": "Set", "supercategory": "Pfn", "kind": "total restriction"}
{"subcategory": "Set", "supercategory": "Set*", "kind": "plain"}
{"subcategory": "Set*", "supercategory": "Pfn", "kind": "equivalence"}
{"subcategory": "SoberTop", "supercategory": "SpLoc", "kind": "equivalence"}
{"subcategory": "SoberTop", "supercategory": "Top", "kind": "full"}
{"subcategory": "SpLoc", "supercategory": "Loc", "kind": "full"}
{"subcategory": "SpLoc", "supercategory": "SoberTop", "kind": "equivalence"}
{"subcategory": "Span(Set)", "supercategory": "Span(Set)", "kind": "contravariant equivalence"}
{"subcategory": "Ste", "supercategory": "TopVect", "kind": "full"}
{"subcategory": "SupLat", "supercategory": "CompLat", "kind": "plain"}
{"subcategory": "SupLieAlg_k", "supercategory": "SupVect_k", "kind": "Lie algebras"}
{"subcategory": "Surj", "supercategory": "Set", "kind": "essentially wide"}
{"subcategory": "SymLMet", "supercategory": "LMet", "kind": "plain"}
{"subcategory": "SymmMonCat", "supercategory": "BrMonCat", "kind": "full"}
{"subcategory": "SymmRel", "supercategory": "Rel", "kind": "core"}
{"subcategory": "Top", "supercategory": "AdmRep", "kind": "plain"}
{"subcategory": "Top", "supercategory": "AdmRep", "kind": "total restriction"}
{"subcategory": "Top", "supercategory": "Set", "kind": "plain"}
{"subcategory": "TopGrp", "supercategory": "Top", "kind": "groups"}
{"subcategory": "TopMan", "supercategory": "Comp", "kind": "plain"}
{"subcategory": "TopMon", "supercategory": "Top", "kind": "monoids"}
{"subcategory": "TopRing", "supercategory": "Top", "kind": "rings"}
{"subcategory": "TopVect", "supercategory": "Top", "kind": "plain"}
{"subcategory": "Tor", "supercategory": "Grp", "kind": "plain"}
{"subcategory": "TracedSymmMonCat", "supercategory": "SymmMonCat", "kind": "plain"}
{"subcategory": "Tych", "supercategory": "Haus", "kind": "plain"}
{"subcategory": "Vect_k", "supercategory": "Mod(Ab)", "kind": "full"}
{"subcategory": "nCob", "supercategory": "nCob", "kind": "contravariant equivalence"}
{"subcategory": "\u0394", "supercategory": "Cat", "kind": "full"}
{"subcategory": "\u0394", "supercategory": "FinOrd", "kind": "plain"}
{"subcategory": "\u0394", "supercategory": "Pos", "kind": "plain"}