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