categorical_structure

98 rows sorted by construction

✎ View and edit SQL

This data as json, CSV (advanced)

Suggested facets: construction

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