categorical_structure

98 rows

✎ View and edit SQL

This data as json, CSV (advanced)

Suggested facets: construction

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