categorical_structure

8 rows where category = "Grp"

✎ View and edit SQL

This data as json, CSV (advanced)

Link category construction
Grp,binary product Grp binary product
Grp,binary sum Grp binary sum
Grp,coequalizer Grp coequalizer
Grp,equalizer Grp equalizer
Grp,initial object Grp initial object
Grp,pullback Grp pullback
Grp,pushout Grp pushout
Grp,terminal object Grp 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")
);