{"subcategory": "Ab", "supercategory": "Set", "kind": "Abelian groups"}
{"subcategory": "SAb", "supercategory": "SSet", "kind": "Abelian groups"}
{"subcategory": "LieAlg_k", "supercategory": "Vect_k", "kind": "Lie algebras"}
{"subcategory": "LieRing", "supercategory": "Ab", "kind": "Lie algebras"}
{"subcategory": "SLieAlg_k", "supercategory": "SSet", "kind": "Lie algebras"}
{"subcategory": "SupLieAlg_k", "supercategory": "SupVect_k", "kind": "Lie algebras"}
{"subcategory": "BanRing", "supercategory": "CompNormGrp", "kind": "commutative monoids"}
{"subcategory": "CMon", "supercategory": "Set", "kind": "commutative monoids"}
{"subcategory": "CRing", "supercategory": "Ab", "kind": "commutative monoids"}
{"subcategory": "CommAlg(Ab)", "supercategory": "Mod(Ab)", "kind": "commutative monoids"}
{"subcategory": "DGCAlg", "supercategory": "Ch.(Vect_k)", "kind": "commutative monoids"}
{"subcategory": "NormRing", "supercategory": "NormGrp", "kind": "commutative monoids"}
{"subcategory": "1", "supercategory": "1", "kind": "contravariant equivalence"}
{"subcategory": "CompBoolAlg", "supercategory": "FinSet", "kind": "contravariant equivalence"}
{"subcategory": "FinSet", "supercategory": "CompBoolAlg", "kind": "contravariant equivalence"}
{"subcategory": "Frm", "supercategory": "Loc", "kind": "contravariant equivalence"}
{"subcategory": "Hilb", "supercategory": "Hilb", "kind": "contravariant equivalence"}
{"subcategory": "Loc", "supercategory": "Frm", "kind": "contravariant equivalence"}
{"subcategory": "Perm", "supercategory": "Perm", "kind": "contravariant equivalence"}
{"subcategory": "Prof", "supercategory": "Prof", "kind": "contravariant equivalence"}
{"subcategory": "Rel", "supercategory": "Rel", "kind": "contravariant equivalence"}
{"subcategory": "Span(Set)", "supercategory": "Span(Set)", "kind": "contravariant equivalence"}
{"subcategory": "nCob", "supercategory": "nCob", "kind": "contravariant equivalence"}
{"subcategory": "Bij", "supercategory": "Set", "kind": "core"}
{"subcategory": "Hilb\u2080", "supercategory": "Hilb", "kind": "core"}
{"subcategory": "Perm", "supercategory": "FinSet", "kind": "core"}
{"subcategory": "SymmRel", "supercategory": "Rel", "kind": "core"}
{"subcategory": "FinVect_k", "supercategory": "Mat_k", "kind": "equivalence"}
{"subcategory": "Mat_k", "supercategory": "FinVect_k", "kind": "equivalence"}
{"subcategory": "PDiff", "supercategory": "PL", "kind": "equivalence"}
{"subcategory": "PL", "supercategory": "PDiff", "kind": "equivalence"}
{"subcategory": "Pfn", "supercategory": "Set*", "kind": "equivalence"}
{"subcategory": "Set*", "supercategory": "Pfn", "kind": "equivalence"}
{"subcategory": "SoberTop", "supercategory": "SpLoc", "kind": "equivalence"}
{"subcategory": "SpLoc", "supercategory": "SoberTop", "kind": "equivalence"}
{"subcategory": "Inj", "supercategory": "Set", "kind": "essentially wide"}
{"subcategory": "Pfn", "supercategory": "Rel", "kind": "essentially wide"}
{"subcategory": "Surj", "supercategory": "Set", "kind": "essentially wide"}
{"subcategory": "Ban_k", "supercategory": "Ste", "kind": "full"}
{"subcategory": "BoolAlg", "supercategory": "Lat", "kind": "full"}
{"subcategory": "BrMonCat", "supercategory": "MonCat", "kind": "full"}
{"subcategory": "Field", "supercategory": "CRing", "kind": "full"}
{"subcategory": "FinGrp", "supercategory": "Grp", "kind": "full"}
{"subcategory": "FinHilb", "supercategory": "Hilb", "kind": "full"}
{"subcategory": "FinSet", "supercategory": "Set", "kind": "full"}
{"subcategory": "FinVect_k", "supercategory": "Vect_k", "kind": "full"}
{"subcategory": "FinVect_q", "supercategory": "FinVect_k", "kind": "full"}
{"subcategory": "Haus", "supercategory": "Top", "kind": "full"}
{"subcategory": "Hilb", "supercategory": "Ban_k", "kind": "full"}
{"subcategory": "Ho(Grpd)", "supercategory": "Ho(Cat)", "kind": "full"}
{"subcategory": "PROP", "supercategory": "CPROP", "kind": "full"}
{"subcategory": "Quiv", "supercategory": "Cat", "kind": "full"}
{"subcategory": "RCat", "supercategory": "Cat", "kind": "full"}
{"subcategory": "SoberTop", "supercategory": "Top", "kind": "full"}
{"subcategory": "SpLoc", "supercategory": "Loc", "kind": "full"}
{"subcategory": "Ste", "supercategory": "TopVect", "kind": "full"}
{"subcategory": "SymmMonCat", "supercategory": "BrMonCat", "kind": "full"}
{"subcategory": "Vect_k", "supercategory": "Mod(Ab)", "kind": "full"}
{"subcategory": "\u0394", "supercategory": "Cat", "kind": "full"}
{"subcategory": "Ab", "supercategory": "Ab", "kind": "groups"}
{"subcategory": "Ab", "supercategory": "Grp", "kind": "groups"}
{"subcategory": "Ab", "supercategory": "Mon", "kind": "groups"}
{"subcategory": "FinGrp", "supercategory": "FinSet", "kind": "groups"}
{"subcategory": "Grp", "supercategory": "Set", "kind": "groups"}
{"subcategory": "LieGrp", "supercategory": "Man", "kind": "groups"}
{"subcategory": "SGrp", "supercategory": "SSet", "kind": "groups"}
{"subcategory": "TopGrp", "supercategory": "Top", "kind": "groups"}
{"subcategory": "Alg(Ab)", "supercategory": "Mod(Ab)", "kind": "monoids"}
{"subcategory": "CMon", "supercategory": "Mon", "kind": "monoids"}
{"subcategory": "Mon", "supercategory": "Set", "kind": "monoids"}
{"subcategory": "MonCat", "supercategory": "Cat", "kind": "monoids"}
{"subcategory": "Ring", "supercategory": "Ab", "kind": "monoids"}
{"subcategory": "TopMon", "supercategory": "Top", "kind": "monoids"}
{"subcategory": "*Aut", "supercategory": "SymmMonCat", "kind": "plain"}
{"subcategory": "AbTor", "supercategory": "Ab", "kind": "plain"}
{"subcategory": "AbTor", "supercategory": "Tor", "kind": "plain"}
{"subcategory": "AdicCRing", "supercategory": "AdicRing", "kind": "plain"}
{"subcategory": "AdicRing", "supercategory": "TopRing", "kind": "plain"}
{"subcategory": "AdmRep", "supercategory": "RT(K\u2082)", "kind": "plain"}
{"subcategory": "Ass", "supercategory": "Eff", "kind": "plain"}
{"subcategory": "Aut", "supercategory": "Set", "kind": "plain"}
{"subcategory": "Ban_k", "supercategory": "Met", "kind": "plain"}
{"subcategory": "BoolAlg", "supercategory": "DistLat", "kind": "plain"}
{"subcategory": "BoolAlg", "supercategory": "HeytAlg", "kind": "plain"}
{"subcategory": "CMon", "supercategory": "Ab", "kind": "plain"}
{"subcategory": "CMon", "supercategory": "Set*", "kind": "plain"}
{"subcategory": "CPO", "supercategory": "DCPO", "kind": "plain"}
{"subcategory": "CW", "supercategory": "Comp", "kind": "plain"}
{"subcategory": "CartSp", "supercategory": "Ban_k", "kind": "plain"}
{"subcategory": "CartSp", "supercategory": "Diff", "kind": "plain"}
{"subcategory": "CartSp", "supercategory": "Vect_k", "kind": "plain"}
{"subcategory": "Cat", "supercategory": "2Cat", "kind": "plain"}
{"subcategory": "Cat", "supercategory": "BiCat", "kind": "plain"}
{"subcategory": "Comp", "supercategory": "Haus", "kind": "plain"}
{"subcategory": "CompBoolAlg", "supercategory": "BoolAlg", "kind": "plain"}
{"subcategory": "CompBoolAlg", "supercategory": "CompLat", "kind": "plain"}
{"subcategory": "CompCat", "supercategory": "*Aut", "kind": "plain"}
{"subcategory": "CompCat", "supercategory": "TracedSymmMonCat", "kind": "plain"}
{"subcategory": "CompLat", "supercategory": "Lat", "kind": "plain"}
{"subcategory": "DCPO", "supercategory": "Pos", "kind": "plain"}