topoi

0 rows where category = "FinHilb"

✎ View and edit SQL

This data as json

0 records

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