# 内射复形就是导出范畴　`thm.k-plus-injectives`
$K^{+}(\mathcal{I}) \simeq D^{+}(\mathcal{A})$
layer 16 · 定理 · 复形与导出三角 · 同调代数
[在星图里打开](../#n=thm.k-plus-injectives)　·　[节点索引](../index.md)

若 $\mathcal{A}$ **有足够多内射对象**，则含入函子

$$\mathbf{K}^{+}(\mathcal{I}) \xrightarrow{\;\sim\;} D^{+}(\mathcal{A})$$

是**范畴等价**。对偶地：有足够多投射对象时 $\mathbf{K}^{-}(\mathcal{P}) \xrightarrow{\;\sim\;} D^{-}(\mathcal{A})$。

## 为什么成立（入边，证明在 proofs/）
- …另有入边，续页见 [nodes/thm.k-plus-injectives.2.md](./thm.k-plus-injectives.2.md)

refs: Le Stum, Theorem 7.2.6；Le Stum, Proposition 7.1.21

> 说明见 `notes/thm.k-plus-injectives.md`

引用：`thm.k-plus-injectives`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)