Description: There is no zero object in the category of unital rings (at least in a universe which contains the zero ring and the ring of integers). Example 7.9 (3) in Adamek p. 103. (Contributed by AV, 18-Apr-2020)
Ref | Expression | ||
---|---|---|---|
Hypotheses | nzerooringczr.u | |
|
nzerooringczr.c | |
||
nzerooringczr.z | |
||
nzerooringczr.e | |
||
nzerooringczr.i | |
||
Assertion | nzerooringczr | |