category,is_grothendieck,has_nno,is_boolean,is_well_pointed
Set,1,1,1,1