设 Abel 范畴 $\mathcal A$ 有足够多内射对象, 那么对于下有界复形 $A^\bullet\in \mathsf K^+(\mathcal A)$, 存在消解 $A^\bullet \to I^\bullet$.
性质
嵌入
$$
\iota\colon \mathsf K^+(\mathcal I_{\mathcal A})\to \mathsf K^+(\mathcal A) \to \mathsf D^+(\mathcal A)
$$
是范畴等价. 特别地, 由内射对象组成的链复形之间的拟同构必为同伦等价.