Proposition 13.23.1. Let $\mathcal{A}$ be an abelian category. Assume $\mathcal{A}$ has enough injectives. Denote $\mathcal{I} \subset \mathcal{A}$ the strictly full additive subcategory whose objects are the injective objects of $\mathcal{A}$. The functor

is exact, fully faithful and essentially surjective, i.e., an equivalence of triangulated categories.

## Comments (1)

Comment #9469 by ElĂas Guisado on