Lemma 12.5.14. Let $\mathcal{A}$ be an abelian category.

1. If $x \to y$ is surjective, then for every $z \to y$ the projection $x \times _ y z \to z$ is surjective.

2. If $x \to y$ is injective, then for every $x \to z$ the morphism $z \to z \amalg _ x y$ is injective.

Proof. Immediately from Lemma 12.5.4 and Lemma 12.5.13. $\square$

There are also:

• 3 comment(s) on Section 12.5: Abelian categories

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).