categorical_structure

3 rows where category = "SSet"

✎ View and edit SQL

This data as json, CSV (advanced)

Link category construction
SSet,binary product SSet binary product
SSet,initial object SSet initial object
SSet,terminal object SSet terminal object

Advanced export

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

CSV options: 

CREATE TABLE "categorical_structure" (
	"category"	TEXT NOT NULL,
	"construction"	TEXT NOT NULL,
	FOREIGN KEY("construction") REFERENCES "universal_objects"("construction") on update cascade on delete restrict,
	FOREIGN KEY("category") REFERENCES "categories"("name") on update cascade on delete restrict,
	PRIMARY KEY("category","construction")
);