essentially_wide_subcategories

3 rows

✎ View and edit SQL

This data as json, CSV (advanced)

Suggested facets: supercategory

Link subcategory supercategory
Inj,Set Inj Set
Pfn,Rel Pfn Rel
Surj,Set Surj Set

Advanced export

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

CSV options: 

CREATE TABLE "essentially_wide_subcategories" (
	"subcategory"	TEXT NOT NULL,
	"supercategory"	TEXT NOT NULL,
	FOREIGN KEY("subcategory") REFERENCES "categories"("name") on update cascade on delete restrict,
	FOREIGN KEY("supercategory") REFERENCES "categories"("name") on update cascade on delete restrict,
	PRIMARY KEY("subcategory","supercategory")
);