{"category": {"value": "Ab", "label": "Ab"}, "construction": {"value": "binary product", "label": "binary product"}} {"category": {"value": "Ab", "label": "Ab"}, "construction": {"value": "binary sum", "label": "binary sum"}} {"category": {"value": "Ab", "label": "Ab"}, "construction": {"value": "coequalizer", "label": "coequalizer"}} {"category": {"value": "Ab", "label": "Ab"}, "construction": {"value": "equalizer", "label": "equalizer"}} {"category": {"value": "Ab", "label": "Ab"}, "construction": {"value": "initial object", "label": "initial object"}} {"category": {"value": "Ab", "label": "Ab"}, "construction": {"value": "pullback", "label": "pullback"}} {"category": {"value": "Ab", "label": "Ab"}, "construction": {"value": "pushout", "label": "pushout"}} {"category": {"value": "Ab", "label": "Ab"}, "construction": {"value": "terminal object", "label": "terminal object"}} {"category": {"value": "AbTor", "label": "AbTor"}, "construction": {"value": "equalizer", "label": "equalizer"}} {"category": {"value": "AbTorF", "label": "AbTorF"}, "construction": {"value": "equalizer", "label": "equalizer"}} {"category": {"value": "Ban_k", "label": "Ban_k"}, "construction": {"value": "initial object", "label": "initial object"}} {"category": {"value": "Ban_k", "label": "Ban_k"}, "construction": {"value": "terminal object", "label": "terminal object"}} {"category": {"value": "BoolAlg", "label": "BoolAlg"}, "construction": {"value": "initial object", "label": "initial object"}} {"category": {"value": "CRing", "label": "CRing"}, "construction": {"value": "binary product", "label": "binary product"}} {"category": {"value": "CRing", "label": "CRing"}, "construction": {"value": "binary sum", "label": "binary sum"}} {"category": {"value": "CRing", "label": "CRing"}, "construction": {"value": "initial object", "label": "initial object"}} {"category": {"value": "CRing", "label": "CRing"}, "construction": {"value": "pullback", "label": "pullback"}} {"category": {"value": "CRing", "label": "CRing"}, "construction": {"value": "pushout", "label": "pushout"}} {"category": {"value": "CRing", "label": "CRing"}, "construction": {"value": "terminal object", "label": "terminal object"}} {"category": {"value": "CartSp", "label": "CartSp"}, "construction": {"value": "terminal object", "label": "terminal object"}} {"category": {"value": "Circ", "label": "Circ"}, "construction": {"value": "binary product", "label": "binary product"}} {"category": {"value": "Circ", "label": "Circ"}, "construction": {"value": "initial object", "label": "initial object"}} {"category": {"value": "Circ", "label": "Circ"}, "construction": {"value": "terminal object", "label": "terminal object"}} {"category": {"value": "Comp", "label": "Comp"}, "construction": {"value": "binary sum", "label": "binary sum"}} {"category": {"value": "Comp", "label": "Comp"}, "construction": {"value": "pullback", "label": "pullback"}} {"category": {"value": "DGph", "label": "DGph"}, "construction": {"value": "binary product", "label": "binary product"}} {"category": {"value": "DGph", "label": "DGph"}, "construction": {"value": "equalizer", "label": "equalizer"}} {"category": {"value": "DGph", "label": "DGph"}, "construction": {"value": "pullback", "label": "pullback"}} {"category": {"value": "Diff", "label": "Diff"}, "construction": {"value": "binary product", "label": "binary product"}} {"category": {"value": "Diff", "label": "Diff"}, "construction": {"value": "binary sum", "label": "binary sum"}} {"category": {"value": "Diff", "label": "Diff"}, "construction": {"value": "initial object", "label": "initial object"}} {"category": {"value": "Diff", "label": "Diff"}, "construction": {"value": "terminal object", "label": "terminal object"}} {"category": {"value": "Eff", "label": "Eff"}, "construction": {"value": "initial object", "label": "initial object"}} {"category": {"value": "Eff", "label": "Eff"}, "construction": {"value": "terminal object", "label": "terminal object"}} {"category": {"value": "FinGrp", "label": "FinGrp"}, "construction": {"value": "equalizer", "label": "equalizer"}} {"category": {"value": "FinGrp", "label": "FinGrp"}, "construction": {"value": "initial object", "label": "initial object"}} {"category": {"value": "FinGrp", "label": "FinGrp"}, "construction": {"value": "pullback", "label": "pullback"}} {"category": {"value": "FinGrp", "label": "FinGrp"}, "construction": {"value": "terminal object", "label": "terminal object"}} {"category": {"value": "FinHilb", "label": "FinHilb"}, "construction": {"value": "initial object", "label": "initial object"}} {"category": {"value": "FinHilb", "label": "FinHilb"}, "construction": {"value": "terminal object", "label": "terminal object"}} {"category": {"value": "FinSet", "label": "FinSet"}, "construction": {"value": "initial object", "label": "initial object"}} {"category": {"value": "FinSet", "label": "FinSet"}, "construction": {"value": "pullback", "label": "pullback"}} {"category": {"value": "FinSet", "label": "FinSet"}, "construction": {"value": "terminal object", "label": "terminal object"}} {"category": {"value": "FinVect_k", "label": "FinVect_k"}, "construction": {"value": "initial object", "label": "initial object"}} {"category": {"value": "FinVect_k", "label": "FinVect_k"}, "construction": {"value": "terminal object", "label": "terminal object"}} {"category": {"value": "Grp", "label": "Grp"}, "construction": {"value": "binary product", "label": "binary product"}} {"category": {"value": "Grp", "label": "Grp"}, "construction": {"value": "binary sum", "label": "binary sum"}} {"category": {"value": "Grp", "label": "Grp"}, "construction": {"value": "coequalizer", "label": "coequalizer"}} {"category": {"value": "Grp", "label": "Grp"}, "construction": {"value": "equalizer", "label": "equalizer"}} {"category": {"value": "Grp", "label": "Grp"}, "construction": {"value": "initial object", "label": "initial object"}} {"category": {"value": "Grp", "label": "Grp"}, "construction": {"value": "pullback", "label": "pullback"}} {"category": {"value": "Grp", "label": "Grp"}, "construction": {"value": "pushout", "label": "pushout"}} {"category": {"value": "Grp", "label": "Grp"}, "construction": {"value": "terminal object", "label": "terminal object"}} {"category": {"value": "Hilb", "label": "Hilb"}, "construction": {"value": "initial object", "label": "initial object"}} {"category": {"value": "Hilb", "label": "Hilb"}, "construction": {"value": "terminal object", "label": "terminal object"}} {"category": {"value": "LieGrp", "label": "LieGrp"}, "construction": {"value": "equalizer", "label": "equalizer"}} {"category": {"value": "Met", "label": "Met"}, "construction": {"value": "initial object", "label": "initial object"}} {"category": {"value": "Met", "label": "Met"}, "construction": {"value": "terminal object", "label": "terminal object"}} {"category": {"value": "Mod(Ab)", "label": "Mod(Ab)"}, "construction": {"value": "initial object", "label": "initial object"}} {"category": {"value": "Mod(Ab)", "label": "Mod(Ab)"}, "construction": {"value": "terminal object", "label": "terminal object"}} {"category": {"value": "NormAb", "label": "NormAb"}, "construction": {"value": "equalizer", "label": "equalizer"}} {"category": {"value": "Quiv", "label": "Quiv"}, "construction": {"value": "binary product", "label": "binary product"}} {"category": {"value": "Quiv", "label": "Quiv"}, "construction": {"value": "equalizer", "label": "equalizer"}} {"category": {"value": "Quiv", "label": "Quiv"}, "construction": {"value": "pullback", "label": "pullback"}} {"category": {"value": "Ring", "label": "Ring"}, "construction": {"value": "initial object", "label": "initial object"}} {"category": {"value": "Ring", "label": "Ring"}, "construction": {"value": "terminal object", "label": "terminal object"}} {"category": {"value": "Rng", "label": "Rng"}, "construction": {"value": "initial object", "label": "initial object"}} {"category": {"value": "Rng", "label": "Rng"}, "construction": {"value": "terminal object", "label": "terminal object"}} {"category": {"value": "SSet", "label": "SSet"}, "construction": {"value": "binary product", "label": "binary product"}} {"category": {"value": "SSet", "label": "SSet"}, "construction": {"value": "initial object", "label": "initial object"}} {"category": {"value": "SSet", "label": "SSet"}, "construction": {"value": "terminal object", "label": "terminal object"}} {"category": {"value": "SemiGrp", "label": "SemiGrp"}, "construction": {"value": "equalizer", "label": "equalizer"}} {"category": {"value": "Set", "label": "Set"}, "construction": {"value": "binary product", "label": "binary product"}} {"category": {"value": "Set", "label": "Set"}, "construction": {"value": "binary sum", "label": "binary sum"}} {"category": {"value": "Set", "label": "Set"}, "construction": {"value": "coequalizer", "label": "coequalizer"}} {"category": {"value": "Set", "label": "Set"}, "construction": {"value": "equalizer", "label": "equalizer"}} {"category": {"value": "Set", "label": "Set"}, "construction": {"value": "initial object", "label": "initial object"}} {"category": {"value": "Set", "label": "Set"}, "construction": {"value": "pullback", "label": "pullback"}} {"category": {"value": "Set", "label": "Set"}, "construction": {"value": "pushout", "label": "pushout"}} {"category": {"value": "Set", "label": "Set"}, "construction": {"value": "terminal object", "label": "terminal object"}} {"category": {"value": "Set*", "label": "Set*"}, "construction": {"value": "initial object", "label": "initial object"}} {"category": {"value": "Set*", "label": "Set*"}, "construction": {"value": "pushout", "label": "pushout"}} {"category": {"value": "Set*", "label": "Set*"}, "construction": {"value": "terminal object", "label": "terminal object"}} {"category": {"value": "Top", "label": "Top"}, "construction": {"value": "binary product", "label": "binary product"}} {"category": {"value": "Top", "label": "Top"}, "construction": {"value": "binary sum", "label": "binary sum"}} {"category": {"value": "Top", "label": "Top"}, "construction": {"value": "coequalizer", "label": "coequalizer"}} {"category": {"value": "Top", "label": "Top"}, "construction": {"value": "equalizer", "label": "equalizer"}} {"category": {"value": "Top", "label": "Top"}, "construction": {"value": "initial object", "label": "initial object"}} {"category": {"value": "Top", "label": "Top"}, "construction": {"value": "pullback", "label": "pullback"}} {"category": {"value": "Top", "label": "Top"}, "construction": {"value": "pushout", "label": "pushout"}} {"category": {"value": "Top", "label": "Top"}, "construction": {"value": "terminal object", "label": "terminal object"}} {"category": {"value": "Top*", "label": "Top*"}, "construction": {"value": "binary sum", "label": "binary sum"}} {"category": {"value": "TopGrp", "label": "TopGrp"}, "construction": {"value": "equalizer", "label": "equalizer"}} {"category": {"value": "Tor", "label": "Tor"}, "construction": {"value": "equalizer", "label": "equalizer"}} {"category": {"value": "Vect_k", "label": "Vect_k"}, "construction": {"value": "binary product", "label": "binary product"}} {"category": {"value": "Vect_k", "label": "Vect_k"}, "construction": {"value": "binary sum", "label": "binary sum"}} {"category": {"value": "Vect_k", "label": "Vect_k"}, "construction": {"value": "initial object", "label": "initial object"}} {"category": {"value": "Vect_k", "label": "Vect_k"}, "construction": {"value": "terminal object", "label": "terminal object"}}