Lemma 12.16.6. Let $\mathcal{A}$ be an abelian category. Let $f : B \to A$ be a strict epimorphism of filtered objects. Let $g : C \to A$ be a morphism of filtered objects. Then $f \oplus g : B \oplus C \to A$ is a strict epimorphism.

Proof. Clear from the definitions. $\square$

There are also:

• 2 comment(s) on Section 12.16: Filtrations

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