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