{"category": {"value": "RT(K\u2082)", "label": "RT(K\u2082)"}, "is_grothendieck": 0, "has_nno": 1, "is_boolean": 0, "is_well_pointed": 0}