categorical_structure

8 rows where category = "Ab"

✎ View and edit SQL

This data as json, CSV (advanced)

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