category,category_label,is_grothendieck,has_nno,is_boolean,is_well_pointed
Eff,Eff,0,1,0,0
FinOrd,FinOrd,1,0,1,1
FinSet,FinSet,1,0,1,1
KV,KV,0,1,0,0
Quiv,Quiv,1,1,0,0
RT(K₁),RT(K₁),0,1,0,0
RT(K₂),RT(K₂),0,1,0,0
SSet,SSet,1,1,0,0
Set,Set,1,1,1,1
Sierp,Sierp,1,1,0,0