Lemma 3.12.1. Suppose given a big category $\mathcal{A}$ (see Categories, Remark 4.2.2). Assume $\mathcal{A}$ is abelian and has enough injectives. See Homology, Definitions 12.5.1 and 12.27.4. Then for any given set of objects $\{ A_ s\} _{s\in S}$ of $\mathcal{A}$, there is an abelian subcategory $\mathcal{A}' \subset \mathcal{A}$ with the following properties:

1. $\mathop{\mathrm{Ob}}\nolimits (\mathcal{A}')$ is a set,

2. $\mathop{\mathrm{Ob}}\nolimits (\mathcal{A}')$ contains $A_ s$ for each $s \in S$,

3. $\mathcal{A}'$ has enough injectives, and

4. an object of $\mathcal{A}'$ is injective if and only if it is an injective object of $\mathcal{A}$.

Proof. Omitted. $\square$

Comment #7968 by Haohao Liu on

A tiny suggestion: it may be better to define "abelian subcategory".

Comment #8681 by Haohao Liu on

To Comment #8193: Then for a topological space $X$, the category $\mathrm{Sh}(X)$ of abelian sheaves on $X$ is an abelian subcategory of the category $\mathrm{PSh}(X)$ of abelian presheaves on $X$ in the comment's sense. In general, the inclusion functor $\mathrm{Sh}(X)\to \mathrm{PSh}(X)$ is not exact, so $\mathrm{Sh}(X)$ is not an abelian subcategory of $\mathrm{PSh}(X)$ in the sense of p.7 of "Introduction to Homological Algebra" by Weibel.

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