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