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 |