The category of left R-modules is abelian. #
Additionally, two linear maps are exact in the categorical sense iff
range f = ker g.
In the category of modules, every monomorphism is normal.
In the category of modules, every epimorphism is normal.
The category of R-modules is abelian.