double_categories

3 rows

✎ View and edit SQL

This data as json, CSV (advanced)

Suggested facets: 2cells_hr

Link vertical_2cat horizontal_2cat 2cells_hr
Lex,Topos Lex Topos natural transformations
Prof,Cat Prof Cat natural transformations
Rel,Set 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
);