Module R #
This file shows that an
R-linear map is a monomorphism in the category of
if and only if it is injective, and similarly an epimorphism if and only if it is surjective.
If the zero morphism is an epi then the codomain is trivial.