{"category": {"value": "FinSet", "label": "FinSet"}, "is_grothendieck": 1, "has_nno": 0, "is_boolean": 1, "is_well_pointed": 1}