category,category_label,is_grothendieck,has_nno,is_boolean,is_well_pointed FinOrd,FinOrd,1,0,1,1 FinSet,FinSet,1,0,1,1 Quiv,Quiv,1,1,0,0 SSet,SSet,1,1,0,0 Set,Set,1,1,1,1 Sierp,Sierp,1,1,0,0