categorical_structure

4 rows where category = "Diff"

✎ View and edit SQL

This data as json, CSV (advanced)

Link category construction
Diff,binary product Diff binary product
Diff,binary sum Diff binary sum
Diff,initial object Diff initial object
Diff,terminal object Diff 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")
);