{"subcategory": {"value": "*Aut", "label": "*Aut"}, "parent": {"value": "SymmMonCat", "label": "SymmMonCat"}} {"subcategory": {"value": "AbTor", "label": "AbTor"}, "parent": {"value": "Ab", "label": "Ab"}} {"subcategory": {"value": "AbTor", "label": "AbTor"}, "parent": {"value": "Tor", "label": "Tor"}} {"subcategory": {"value": "AdicCRing", "label": "AdicCRing"}, "parent": {"value": "AdicRing", "label": "AdicRing"}} {"subcategory": {"value": "AdicRing", "label": "AdicRing"}, "parent": {"value": "TopRing", "label": "TopRing"}} {"subcategory": {"value": "AdmRep", "label": "AdmRep"}, "parent": {"value": "RT(K\u2082)", "label": "RT(K\u2082)"}} {"subcategory": {"value": "Ass", "label": "Ass"}, "parent": {"value": "Eff", "label": "Eff"}} {"subcategory": {"value": "Aut", "label": "Aut"}, "parent": {"value": "Set", "label": "Set"}} {"subcategory": {"value": "Ban_k", "label": "Ban_k"}, "parent": {"value": "Met", "label": "Met"}} {"subcategory": {"value": "BoolAlg", "label": "BoolAlg"}, "parent": {"value": "DistLat", "label": "DistLat"}} {"subcategory": {"value": "BoolAlg", "label": "BoolAlg"}, "parent": {"value": "HeytAlg", "label": "HeytAlg"}} {"subcategory": {"value": "CMon", "label": "CMon"}, "parent": {"value": "Ab", "label": "Ab"}} {"subcategory": {"value": "CMon", "label": "CMon"}, "parent": {"value": "Set*", "label": "Set*"}} {"subcategory": {"value": "CPO", "label": "CPO"}, "parent": {"value": "DCPO", "label": "DCPO"}} {"subcategory": {"value": "CW", "label": "CW"}, "parent": {"value": "Comp", "label": "Comp"}} {"subcategory": {"value": "CartSp", "label": "CartSp"}, "parent": {"value": "Ban_k", "label": "Ban_k"}} {"subcategory": {"value": "CartSp", "label": "CartSp"}, "parent": {"value": "Diff", "label": "Diff"}} {"subcategory": {"value": "CartSp", "label": "CartSp"}, "parent": {"value": "Vect_k", "label": "Vect_k"}} {"subcategory": {"value": "Cat", "label": "Cat"}, "parent": {"value": "2Cat", "label": "2Cat"}} {"subcategory": {"value": "Cat", "label": "Cat"}, "parent": {"value": "BiCat", "label": "BiCat"}} {"subcategory": {"value": "Comp", "label": "Comp"}, "parent": {"value": "Haus", "label": "Haus"}} {"subcategory": {"value": "CompBoolAlg", "label": "CompBoolAlg"}, "parent": {"value": "BoolAlg", "label": "BoolAlg"}} {"subcategory": {"value": "CompBoolAlg", "label": "CompBoolAlg"}, "parent": {"value": "CompLat", "label": "CompLat"}} {"subcategory": {"value": "CompCat", "label": "CompCat"}, "parent": {"value": "*Aut", "label": "*Aut"}} {"subcategory": {"value": "CompCat", "label": "CompCat"}, "parent": {"value": "TracedSymmMonCat", "label": "TracedSymmMonCat"}} {"subcategory": {"value": "CompLat", "label": "CompLat"}, "parent": {"value": "Lat", "label": "Lat"}} {"subcategory": {"value": "DCPO", "label": "DCPO"}, "parent": {"value": "Pos", "label": "Pos"}} {"subcategory": {"value": "DGph", "label": "DGph"}, "parent": {"value": "Quiv", "label": "Quiv"}} {"subcategory": {"value": "DagCat", "label": "DagCat"}, "parent": {"value": "Cat", "label": "Cat"}} {"subcategory": {"value": "DagCompCat", "label": "DagCompCat"}, "parent": {"value": "CompCat", "label": "CompCat"}} {"subcategory": {"value": "DagCompCat", "label": "DagCompCat"}, "parent": {"value": "DagCat", "label": "DagCat"}} {"subcategory": {"value": "DblCat", "label": "DblCat"}, "parent": {"value": "2Cat", "label": "2Cat"}} {"subcategory": {"value": "Diff", "label": "Diff"}, "parent": {"value": "Man", "label": "Man"}} {"subcategory": {"value": "DistLat", "label": "DistLat"}, "parent": {"value": "Lat", "label": "Lat"}} {"subcategory": {"value": "Eff", "label": "Eff"}, "parent": {"value": "RT(K\u2081)", "label": "RT(K\u2081)"}} {"subcategory": {"value": "EffAdmRep", "label": "EffAdmRep"}, "parent": {"value": "AdmRep", "label": "AdmRep"}} {"subcategory": {"value": "EffAdmRep", "label": "EffAdmRep"}, "parent": {"value": "KV", "label": "KV"}} {"subcategory": {"value": "Frm", "label": "Frm"}, "parent": {"value": "DistLat", "label": "DistLat"}} {"subcategory": {"value": "Frm", "label": "Frm"}, "parent": {"value": "SupLat", "label": "SupLat"}} {"subcategory": {"value": "Grp", "label": "Grp"}, "parent": {"value": "Mon", "label": "Mon"}} {"subcategory": {"value": "HeytAlg", "label": "HeytAlg"}, "parent": {"value": "Pos", "label": "Pos"}} {"subcategory": {"value": "KV", "label": "KV"}, "parent": {"value": "RT(K\u2082)", "label": "RT(K\u2082)"}} {"subcategory": {"value": "LMet", "label": "LMet"}, "parent": {"value": "Top", "label": "Top"}} {"subcategory": {"value": "Lat", "label": "Lat"}, "parent": {"value": "Pos", "label": "Pos"}} {"subcategory": {"value": "Lat", "label": "Lat"}, "parent": {"value": "SemiLat", "label": "SemiLat"}} {"subcategory": {"value": "Man", "label": "Man"}, "parent": {"value": "PDiff", "label": "PDiff"}} {"subcategory": {"value": "Mat_R", "label": "Mat_R"}, "parent": {"value": "Mat_SR", "label": "Mat_SR"}} {"subcategory": {"value": "Mat_k", "label": "Mat_k"}, "parent": {"value": "Mat_R", "label": "Mat_R"}} {"subcategory": {"value": "Mat_k", "label": "Mat_k"}, "parent": {"value": "Mat_SR", "label": "Mat_SR"}} {"subcategory": {"value": "Met", "label": "Met"}, "parent": {"value": "PseudoMet", "label": "PseudoMet"}} {"subcategory": {"value": "Mon", "label": "Mon"}, "parent": {"value": "SemiGrp", "label": "SemiGrp"}} {"subcategory": {"value": "PDiff", "label": "PDiff"}, "parent": {"value": "Top", "label": "Top"}} {"subcategory": {"value": "PROP", "label": "PROP"}, "parent": {"value": "MonCat", "label": "MonCat"}} {"subcategory": {"value": "Poiss", "label": "Poiss"}, "parent": {"value": "Man", "label": "Man"}} {"subcategory": {"value": "Pos", "label": "Pos"}, "parent": {"value": "Cat", "label": "Cat"}} {"subcategory": {"value": "Pos", "label": "Pos"}, "parent": {"value": "Set", "label": "Set"}} {"subcategory": {"value": "Pros", "label": "Pros"}, "parent": {"value": "Set", "label": "Set"}} {"subcategory": {"value": "PseudoMet", "label": "PseudoMet"}, "parent": {"value": "SymLMet", "label": "SymLMet"}} {"subcategory": {"value": "Ring", "label": "Ring"}, "parent": {"value": "Rng", "label": "Rng"}} {"subcategory": {"value": "Ring", "label": "Ring"}, "parent": {"value": "SemiRing", "label": "SemiRing"}} {"subcategory": {"value": "SMan", "label": "SMan"}, "parent": {"value": "STop", "label": "STop"}} {"subcategory": {"value": "SemiLat", "label": "SemiLat"}, "parent": {"value": "CMon", "label": "CMon"}} {"subcategory": {"value": "SemiLat", "label": "SemiLat"}, "parent": {"value": "Pos", "label": "Pos"}} {"subcategory": {"value": "SemiRing", "label": "SemiRing"}, "parent": {"value": "Set", "label": "Set"}} {"subcategory": {"value": "Set", "label": "Set"}, "parent": {"value": "Ass", "label": "Ass"}} {"subcategory": {"value": "Set", "label": "Set"}, "parent": {"value": "Cat", "label": "Cat"}} {"subcategory": {"value": "Set", "label": "Set"}, "parent": {"value": "Set*", "label": "Set*"}} {"subcategory": {"value": "SupLat", "label": "SupLat"}, "parent": {"value": "CompLat", "label": "CompLat"}} {"subcategory": {"value": "SymLMet", "label": "SymLMet"}, "parent": {"value": "LMet", "label": "LMet"}} {"subcategory": {"value": "Top", "label": "Top"}, "parent": {"value": "AdmRep", "label": "AdmRep"}} {"subcategory": {"value": "Top", "label": "Top"}, "parent": {"value": "Set", "label": "Set"}} {"subcategory": {"value": "TopMan", "label": "TopMan"}, "parent": {"value": "Comp", "label": "Comp"}} {"subcategory": {"value": "TopVect", "label": "TopVect"}, "parent": {"value": "Top", "label": "Top"}} {"subcategory": {"value": "Tor", "label": "Tor"}, "parent": {"value": "Grp", "label": "Grp"}} {"subcategory": {"value": "TracedSymmMonCat", "label": "TracedSymmMonCat"}, "parent": {"value": "SymmMonCat", "label": "SymmMonCat"}} {"subcategory": {"value": "Tych", "label": "Tych"}, "parent": {"value": "Haus", "label": "Haus"}} {"subcategory": {"value": "\u0394", "label": "\u0394"}, "parent": {"value": "FinOrd", "label": "FinOrd"}} {"subcategory": {"value": "\u0394", "label": "\u0394"}, "parent": {"value": "Pos", "label": "Pos"}}