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.24.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$

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).
{"ft_lang_label":"__label__en","ft_lang_prob":0.6458845,"math_prob":0.9996167,"size":660,"snap":"2019-26-2019-30","text_gpt3_token_len":227,"char_repetition_ratio":0.20731707,"word_repetition_ratio":0.0,"special_character_ratio":0.33333334,"punctuation_ratio":0.14184397,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.99993455,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-06-17T14:37:19Z\",\"WARC-Record-ID\":\"<urn:uuid:cf544f08-b501-42aa-9dea-39346ee63905>\",\"Content-Length\":\"14003\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:6db3c02e-9ee8-4907-8f1e-1023d1d9b797>\",\"WARC-Concurrent-To\":\"<urn:uuid:4ff8ce0b-9faa-4245-9845-91f72046df3d>\",\"WARC-IP-Address\":\"128.59.222.85\",\"WARC-Target-URI\":\"https://stacks.math.columbia.edu/tag/0010\",\"WARC-Payload-Digest\":\"sha1:LEAD2MN3NLGWVXZSNLMSWL5O5BLVORDK\",\"WARC-Block-Digest\":\"sha1:DBELCR5JUXRXYNTKPG2DVN6DBOM4VSLX\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-26/CC-MAIN-2019-26_segments_1560627998509.15_warc_CC-MAIN-20190617143050-20190617165050-00518.warc.gz\"}"}