| 2:37p |
Climbing down from mystics to maths
It turns out that subcoproduct injections in a nonpointed category do not have to be monomorphisms. E.g., in the category of commutative rings, the natural morphism from Z to the coproduct ( = tensor product) of Z and Z/2 is not a monomorphism. |