home / catabase
select category, is_grothendieck, has_nno, is_boolean, is_well_pointed from topoi where "category" = :p0 order by has_nno limit 101
p0
Format SQL
This data as json, CSV