3 rows

View and edit SQL

Suggested facets: 2cells_hr

Link vertical_2cat horizontal_2cat 2cells_hr
Lex Topos natural transformations
Prof Cat natural transformations
Rel Set subrelation inclusions

Advanced export

JSON shape: default, array, newline-delimited, object

CSV options:

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