10 rows

View and edit SQL

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

CSV options:

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
);