double_categories

1 row where horizontal_2cat = "Topos"

✎ View and edit SQL

This data as json, CSV (advanced)

Link vertical_2cat horizontal_2cat 2cells_hr
Lex,Topos Lex Topos natural transformations

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