categorical_structure

8 rows where category = "Top"

✎ View and edit SQL

This data as json, CSV (advanced)

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