catabase
This data as json, CSV
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 |