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