catabase: categorical_structure: 98 rows

98 rows

descending

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

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")
);