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