0 rows where horizontal_2cat = "Hilb₀"

View and edit SQL

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