Auflösung eines Objekts A einer abelschen Kategorie in eine exakte Sequenz von Morphismen \begin{eqnarray}0\to A\to {I}_{0}\to {I}_{1}\to {I}_{2}\to \cdots, \end{eqnarray} in der alle I_i, i ∈ ℕ₀injektive Objekte in der Kategorie sind.