topoi
10 rows
This data as json, CSV (advanced)
Suggested facets: is_grothendieck, has_nno, is_boolean, is_well_pointed
| category ▼ | is_grothendieck | has_nno | is_boolean | is_well_pointed |
|---|---|---|---|---|
| Eff | 0 | 1 | 0 | 0 |
| FinOrd | 1 | 0 | 1 | 1 |
| FinSet | 1 | 0 | 1 | 1 |
| KV | 0 | 1 | 0 | 0 |
| Quiv | 1 | 1 | 0 | 0 |
| RT(K₁) | 0 | 1 | 0 | 0 |
| RT(K₂) | 0 | 1 | 0 | 0 |
| SSet | 1 | 1 | 0 | 0 |
| Set | 1 | 1 | 1 | 1 |
| Sierp | 1 | 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
);