{"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": "Frm", "supercategory": "DistLat", "kind": "plain"}
{"subcategory": "Frm", "supercategory": "SupLat", "kind": "plain"}
{"subcategory": "Grp", "supercategory": "Mon", "kind": "plain"}
{"subcategory": "HeytAlg", "supercategory": "Pos", "kind": "plain"}
{"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": "Man", "supercategory": "PDiff", "kind": "plain"}
{"subcategory": "Mat_R", "supercategory": "Mat_SR", "kind": "plain"}
{"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": "PDiff", "supercategory": "Top", "kind": "plain"}
{"subcategory": "PROP", "supercategory": "MonCat", "kind": "plain"}
{"subcategory": "Poiss", "supercategory": "Man", "kind": "plain"}
{"subcategory": "Pos", "supercategory": "Cat", "kind": "plain"}
{"subcategory": "Pos", "supercategory": "Set", "kind": "plain"}
{"subcategory": "Pros", "supercategory": "Set", "kind": "plain"}
{"subcategory": "PseudoMet", "supercategory": "SymLMet", "kind": "plain"}
{"subcategory": "Ring", "supercategory": "Rng", "kind": "plain"}
{"subcategory": "Ring", "supercategory": "SemiRing", "kind": "plain"}
{"subcategory": "SMan", "supercategory": "STop", "kind": "plain"}
{"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": "Set*", "kind": "plain"}
{"subcategory": "SupLat", "supercategory": "CompLat", "kind": "plain"}
{"subcategory": "SymLMet", "supercategory": "LMet", "kind": "plain"}
{"subcategory": "Top", "supercategory": "AdmRep", "kind": "plain"}
{"subcategory": "Top", "supercategory": "Set", "kind": "plain"}
{"subcategory": "TopMan", "supercategory": "Comp", "kind": "plain"}
{"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": "\u0394", "supercategory": "FinOrd", "kind": "plain"}
{"subcategory": "\u0394", "supercategory": "Pos", "kind": "plain"}
{"subcategory": "Ab", "supercategory": "Grp", "kind": "reflection"}
{"subcategory": "AbTorF", "supercategory": "Ab", "kind": "reflection"}
{"subcategory": "CRing", "supercategory": "Ring", "kind": "reflection"}
{"subcategory": "Cat", "supercategory": "SSet", "kind": "reflection"}
{"subcategory": "Comp", "supercategory": "Top", "kind": "reflection"}
{"subcategory": "CompMet", "supercategory": "Met", "kind": "reflection"}
{"subcategory": "Ring", "supercategory": "Set", "kind": "rings"}
{"subcategory": "SRing", "supercategory": "SSet", "kind": "rings"}
{"subcategory": "TopRing", "supercategory": "Top", "kind": "rings"}
{"subcategory": "BanAlg", "supercategory": "Ban_k", "kind": "semigroups"}
{"subcategory": "Quant", "supercategory": "SupLat", "kind": "semigroups"}
{"subcategory": "SemiGrp", "supercategory": "Set", "kind": "semigroups"}
{"subcategory": "FinOrd", "supercategory": "FinSet", "kind": "skeleton"}
{"subcategory": "Mat_k", "supercategory": "FinVect_k", "kind": "skeleton"}
{"subcategory": "Pos", "supercategory": "Pros", "kind": "skeleton"}
{"subcategory": "Set", "supercategory": "Pfn", "kind": "total restriction"}
{"subcategory": "Top", "supercategory": "AdmRep", "kind": "total restriction"}