{"category": {"value": "Eff", "label": "Eff"}, "is_grothendieck": 0, "has_nno": 1, "is_boolean": 0, "is_well_pointed": 0} {"category": {"value": "FinOrd", "label": "FinOrd"}, "is_grothendieck": 1, "has_nno": 0, "is_boolean": 1, "is_well_pointed": 1} {"category": {"value": "FinSet", "label": "FinSet"}, "is_grothendieck": 1, "has_nno": 0, "is_boolean": 1, "is_well_pointed": 1} {"category": {"value": "KV", "label": "KV"}, "is_grothendieck": 0, "has_nno": 1, "is_boolean": 0, "is_well_pointed": 0} {"category": {"value": "Quiv", "label": "Quiv"}, "is_grothendieck": 1, "has_nno": 1, "is_boolean": 0, "is_well_pointed": 0} {"category": {"value": "RT(K\u2081)", "label": "RT(K\u2081)"}, "is_grothendieck": 0, "has_nno": 1, "is_boolean": 0, "is_well_pointed": 0} {"category": {"value": "RT(K\u2082)", "label": "RT(K\u2082)"}, "is_grothendieck": 0, "has_nno": 1, "is_boolean": 0, "is_well_pointed": 0} {"category": {"value": "SSet", "label": "SSet"}, "is_grothendieck": 1, "has_nno": 1, "is_boolean": 0, "is_well_pointed": 0} {"category": {"value": "Set", "label": "Set"}, "is_grothendieck": 1, "has_nno": 1, "is_boolean": 1, "is_well_pointed": 1} {"category": {"value": "Sierp", "label": "Sierp"}, "is_grothendieck": 1, "has_nno": 1, "is_boolean": 0, "is_well_pointed": 0}