category,category_label,is_grothendieck,has_nno,is_boolean,is_well_pointed
RT(K₂),RT(K₂),0,1,0,0