categorical_structure

8 rows where category = "Top" sorted by construction descending

✎ View and edit SQL

This data as json, CSV (advanced)

Link category construction ▲
Top,terminal object Top terminal object
Top,pushout Top pushout
Top,pullback Top pullback
Top,initial object Top initial object
Top,equalizer Top equalizer
Top,coequalizer Top coequalizer
Top,binary sum Top binary sum
Top,binary product Top binary product

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")
);