catabase
category | construction |
---|---|
Top | binary product |
Top | binary sum |
Top | coequalizer |
Top | equalizer |
Top | initial object |
Top | pullback |
Top | pushout |
Top | terminal object |
category | construction |
---|---|
Top | binary product |
Top | binary sum |
Top | coequalizer |
Top | equalizer |
Top | initial object |
Top | pullback |
Top | pushout |
Top | terminal object |