categorical_structure

98 rows sorted by category descending

✎ View and edit SQL

This data as json, CSV (advanced)

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