catabase
category | construction |
---|---|
CRing | binary product |
CRing | binary sum |
CRing | initial object |
CRing | pullback |
CRing | pushout |
CRing | terminal object |
category | construction |
---|---|
CRing | binary product |
CRing | binary sum |
CRing | initial object |
CRing | pullback |
CRing | pushout |
CRing | terminal object |