January 20th, 2017

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.