double_categories
0 rows where horizontal_2cat = "Hilb₀"
This data as json
0 records
CREATE TABLE "double_categories" ( "vertical_2cat" TEXT NOT NULL, "horizontal_2cat" TEXT NOT NULL, "2cells_hr" TEXT NOT NULL, PRIMARY KEY("vertical_2cat","horizontal_2cat"), FOREIGN KEY("vertical_2cat") REFERENCES "categories"("name") on delete restrict on update cascade, FOREIGN KEY("horizontal_2cat") REFERENCES "categories"("name") on delete restrict on update cascade );