98 rows

View and edit SQL

Suggested facets: construction

Link category construction
Ab binary product
Ab binary sum
Ab coequalizer
Ab equalizer
Ab initial object
Ab pullback
Ab pushout
Ab terminal object
AbTor equalizer
AbTorF equalizer
Ban_k initial object
Ban_k terminal object
BoolAlg initial object
CRing binary product
CRing binary sum
CRing initial object
CRing pullback
CRing pushout
CRing terminal object
CartSp terminal object
Circ binary product
Circ initial object
Circ terminal object
Comp binary sum
Comp pullback
DGph binary product
DGph equalizer
DGph pullback
Diff binary product
Diff binary sum
Diff initial object
Diff terminal object
Eff initial object
Eff terminal object
FinGrp equalizer
FinGrp initial object
FinGrp pullback
FinGrp terminal object
FinHilb initial object
FinHilb terminal object
FinSet initial object
FinSet pullback
FinSet terminal object
FinVect_k initial object
FinVect_k terminal object
Grp binary product
Grp binary sum
Grp coequalizer
Grp equalizer
Grp initial object
Grp pullback
Grp pushout
Grp terminal object
Hilb initial object
Hilb terminal object
LieGrp equalizer
Met initial object
Met terminal object
Mod(Ab) initial object
Mod(Ab) terminal object
NormAb equalizer
Quiv binary product
Quiv equalizer
Quiv pullback
Ring initial object
Ring terminal object
Rng initial object
Rng terminal object
SSet binary product
SSet initial object
SSet terminal object
SemiGrp equalizer
Set binary product
Set binary sum
Set coequalizer
Set equalizer
Set initial object
Set pullback
Set pushout
Set terminal object
Set* initial object
Set* pushout
Set* terminal object
Top binary product
Top binary sum
Top coequalizer
Top equalizer
Top initial object
Top pullback
Top pushout
Top terminal object
Top* binary sum
TopGrp equalizer
Tor equalizer
Vect_k binary product
Vect_k binary sum
Vect_k initial object
Vect_k 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")
);