{"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": "Set", "label": "Set"}, "is_grothendieck": 1, "has_nno": 1, "is_boolean": 1, "is_well_pointed": 1}