{"subcategory": "*Aut", "supercategory": "SymmMonCat", "kind": "plain"}
{"subcategory": "1", "supercategory": "1", "kind": "contravariant equivalence"}
{"subcategory": "Ab", "supercategory": "Ab", "kind": "groups"}
{"subcategory": "Ab", "supercategory": "Grp", "kind": "groups"}
{"subcategory": "Ab", "supercategory": "Grp", "kind": "reflection"}
{"subcategory": "Ab", "supercategory": "Mon", "kind": "groups"}
{"subcategory": "Ab", "supercategory": "Set", "kind": "Abelian groups"}
{"subcategory": "AbTor", "supercategory": "Ab", "kind": "plain"}
{"subcategory": "AbTor", "supercategory": "Tor", "kind": "plain"}
{"subcategory": "AbTorF", "supercategory": "Ab", "kind": "reflection"}
{"subcategory": "AdicCRing", "supercategory": "AdicRing", "kind": "plain"}
{"subcategory": "AdicRing", "supercategory": "TopRing", "kind": "plain"}
{"subcategory": "AdmRep", "supercategory": "RT(K\u2082)", "kind": "plain"}
{"subcategory": "Alg(Ab)", "supercategory": "Mod(Ab)", "kind": "monoids"}
{"subcategory": "Ass", "supercategory": "Eff", "kind": "plain"}
{"subcategory": "Aut", "supercategory": "Set", "kind": "plain"}
{"subcategory": "BanAlg", "supercategory": "Ban_k", "kind": "semigroups"}
{"subcategory": "BanRing", "supercategory": "CompNormGrp", "kind": "commutative monoids"}
{"subcategory": "Ban_k", "supercategory": "Met", "kind": "plain"}
{"subcategory": "Ban_k", "supercategory": "Ste", "kind": "full"}
{"subcategory": "Bij", "supercategory": "Set", "kind": "core"}
{"subcategory": "BoolAlg", "supercategory": "DistLat", "kind": "plain"}
{"subcategory": "BoolAlg", "supercategory": "HeytAlg", "kind": "plain"}
{"subcategory": "BoolAlg", "supercategory": "Lat", "kind": "full"}
{"subcategory": "BrMonCat", "supercategory": "MonCat", "kind": "full"}
{"subcategory": "CMon", "supercategory": "Ab", "kind": "plain"}
{"subcategory": "CMon", "supercategory": "Mon", "kind": "monoids"}
{"subcategory": "CMon", "supercategory": "Set", "kind": "commutative monoids"}
{"subcategory": "CMon", "supercategory": "Set*", "kind": "plain"}
{"subcategory": "CPO", "supercategory": "DCPO", "kind": "plain"}
{"subcategory": "CRing", "supercategory": "Ab", "kind": "commutative monoids"}
{"subcategory": "CRing", "supercategory": "Ring", "kind": "reflection"}
{"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": "Cat", "supercategory": "SSet", "kind": "reflection"}
{"subcategory": "CommAlg(Ab)", "supercategory": "Mod(Ab)", "kind": "commutative monoids"}
{"subcategory": "Comp", "supercategory": "Haus", "kind": "plain"}
{"subcategory": "Comp", "supercategory": "Top", "kind": "reflection"}
{"subcategory": "CompBoolAlg", "supercategory": "BoolAlg", "kind": "plain"}
{"subcategory": "CompBoolAlg", "supercategory": "CompLat", "kind": "plain"}
{"subcategory": "CompBoolAlg", "supercategory": "FinSet", "kind": "contravariant equivalence"}
{"subcategory": "CompCat", "supercategory": "*Aut", "kind": "plain"}
{"subcategory": "CompCat", "supercategory": "TracedSymmMonCat", "kind": "plain"}
{"subcategory": "CompLat", "supercategory": "Lat", "kind": "plain"}
{"subcategory": "CompMet", "supercategory": "Met", "kind": "reflection"}
{"subcategory": "DCPO", "supercategory": "Pos", "kind": "plain"}
{"subcategory": "DGCAlg", "supercategory": "Ch.(Vect_k)", "kind": "commutative monoids"}
{"subcategory": "DGph", "supercategory": "Quiv", "kind": "plain"}
{"subcategory": "DagCat", "supercategory": "Cat", "kind": "plain"}
{"subcategory": "DagCompCat", "supercategory": "CompCat", "kind": "plain"}
{"subcategory": "DagCompCat", "supercategory": "DagCat", "kind": "plain"}
{"subcategory": "DblCat", "supercategory": "2Cat", "kind": "plain"}
{"subcategory": "Diff", "supercategory": "Man", "kind": "plain"}
{"subcategory": "DistLat", "supercategory": "Lat", "kind": "plain"}
{"subcategory": "Eff", "supercategory": "RT(K\u2081)", "kind": "plain"}
{"subcategory": "EffAdmRep", "supercategory": "AdmRep", "kind": "plain"}
{"subcategory": "EffAdmRep", "supercategory": "KV", "kind": "plain"}
{"subcategory": "Field", "supercategory": "CRing", "kind": "full"}
{"subcategory": "FinGrp", "supercategory": "FinSet", "kind": "groups"}
{"subcategory": "FinGrp", "supercategory": "Grp", "kind": "full"}
{"subcategory": "FinHilb", "supercategory": "Hilb", "kind": "full"}
{"subcategory": "FinOrd", "supercategory": "FinSet", "kind": "skeleton"}
{"subcategory": "FinSet", "supercategory": "CompBoolAlg", "kind": "contravariant equivalence"}
{"subcategory": "FinSet", "supercategory": "Set", "kind": "full"}
{"subcategory": "FinVect_k", "supercategory": "Mat_k", "kind": "equivalence"}
{"subcategory": "FinVect_k", "supercategory": "Vect_k", "kind": "full"}
{"subcategory": "FinVect_q", "supercategory": "FinVect_k", "kind": "full"}
{"subcategory": "Frm", "supercategory": "DistLat", "kind": "plain"}
{"subcategory": "Frm", "supercategory": "Loc", "kind": "contravariant equivalence"}
{"subcategory": "Frm", "supercategory": "SupLat", "kind": "plain"}
{"subcategory": "Grp", "supercategory": "Mon", "kind": "plain"}
{"subcategory": "Grp", "supercategory": "Set", "kind": "groups"}
{"subcategory": "Haus", "supercategory": "Top", "kind": "full"}
{"subcategory": "HeytAlg", "supercategory": "Pos", "kind": "plain"}
{"subcategory": "Hilb", "supercategory": "Ban_k", "kind": "full"}
{"subcategory": "Hilb", "supercategory": "Hilb", "kind": "contravariant equivalence"}
{"subcategory": "Hilb\u2080", "supercategory": "Hilb", "kind": "core"}
{"subcategory": "Ho(Grpd)", "supercategory": "Ho(Cat)", "kind": "full"}
{"subcategory": "Inj", "supercategory": "Set", "kind": "essentially wide"}
{"subcategory": "KV", "supercategory": "RT(K\u2082)", "kind": "plain"}
{"subcategory": "LMet", "supercategory": "Top", "kind": "plain"}
{"subcategory": "Lat", "supercategory": "Pos", "kind": "plain"}
{"subcategory": "Lat", "supercategory": "SemiLat", "kind": "plain"}
{"subcategory": "LieAlg_k", "supercategory": "Vect_k", "kind": "Lie algebras"}
{"subcategory": "LieGrp", "supercategory": "Man", "kind": "groups"}
{"subcategory": "LieRing", "supercategory": "Ab", "kind": "Lie algebras"}
{"subcategory": "Loc", "supercategory": "Frm", "kind": "contravariant equivalence"}
{"subcategory": "Man", "supercategory": "PDiff", "kind": "plain"}
{"subcategory": "Mat_R", "supercategory": "Mat_SR", "kind": "plain"}
{"subcategory": "Mat_k", "supercategory": "FinVect_k", "kind": "equivalence"}
{"subcategory": "Mat_k", "supercategory": "FinVect_k", "kind": "skeleton"}
{"subcategory": "Mat_k", "supercategory": "Mat_R", "kind": "plain"}
{"subcategory": "Mat_k", "supercategory": "Mat_SR", "kind": "plain"}
{"subcategory": "Met", "supercategory": "PseudoMet", "kind": "plain"}
{"subcategory": "Mon", "supercategory": "SemiGrp", "kind": "plain"}
{"subcategory": "Mon", "supercategory": "Set", "kind": "monoids"}