topoi
0 rows where category = "Rng"
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 );