Lemma 12.3.11. Let $\mathcal{C}$ be a preadditive category. Let $f : x \to y$ be a morphism in $\mathcal{C}$.

1. If a kernel of $f$ exists, then this kernel is a monomorphism.

2. If a cokernel of $f$ exists, then this cokernel is an epimorphism.

3. If a kernel and coimage of $f$ exist, then the coimage is an epimorphism.

4. If a cokernel and image of $f$ exist, then the image is a monomorphism.

Proof. Part (1) follows easily from the uniqueness required in the definition of a kernel. The proof of (2) is dual. Part (3) follows from (2), since the coimage is a cokernel. Similarly, (4) follows from (1). $\square$

There are also:

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).