topoi
4 rows where is_grothendieck = 0
This data as json, CSV (advanced)
category ▼ | is_grothendieck | has_nno | is_boolean | is_well_pointed |
---|---|---|---|---|
Eff | 0 | 1 | 0 | 0 |
KV | 0 | 1 | 0 | 0 |
RT(K₁) | 0 | 1 | 0 | 0 |
RT(K₂) | 0 | 1 | 0 | 0 |
Advanced export
JSON shape: default, array, newline-delimited, object
CREATE TABLE "topoi" ( "category" TEXT NOT NULL UNIQUE, "is_grothendieck" INTEGER NOT NULL, "has_nno" INTEGER NOT NULL, "is_boolean" INTEGER NOT NULL, "is_well_pointed" INTEGER NOT NULL, PRIMARY KEY("category"), FOREIGN KEY("category") REFERENCES "categories"("name") on update cascade on delete restrict );