Lemma 12.10.3. Let $\mathcal{A}$ be an abelian category. Let $\mathcal{C}$ be a subcategory of $\mathcal{A}$. Then $\mathcal{C}$ is a weak Serre subcategory if and only if the following conditions are satisfied:

1. $0 \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$,

2. $\mathcal{C}$ is a strictly full subcategory of $\mathcal{A}$,

3. kernels and cokernels in $\mathcal{A}$ of morphisms between objects of $\mathcal{C}$ are in $\mathcal{C}$,

4. if $A \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{A})$ is an extension of objects of $\mathcal{C}$ then also $A \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$.

Moreover, a weak Serre subcategory is an abelian category and the inclusion functor is exact.

Proof. Omitted. $\square$

There are also:

• 20 comment(s) on Section 12.10: Serre subcategories

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