categorical_structure

8 rows where category = "Set"

✎ View and edit SQL

This data as json, CSV (advanced)

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