# 全复形还是内射消解　`prop.total-complex-injective-resolution`
命题：全复形 $I^{\bullet}$ 仍是 $K^{\bullet}$ 的内射消解
layer 16 · 命题 · 复形与导出三角 · 同调代数
[在星图里打开](../#n=prop.total-complex-injective-resolution)　·　[节点索引](../index.md)

设 $K^{\bullet,\bullet}$ 是下有界双复形、每项内射，且其全复形 $I^{\bullet}$ 连同增广给出 $K^{\bullet}$ 的一条消解。则 $K^{\bullet} \to I^{\bullet}$ **仍是内射消解**。

## 为什么成立（入边，证明在 proofs/）
- …另有入边，续页见 [nodes/prop.total-complex-injective-resolution.2.md](./prop.total-complex-injective-resolution.2.md)

refs: Le Stum, An introduction to condensed mathematics, Exercise 7.34

> 说明见 `notes/prop.total-complex-injective-resolution.md`

引用：`prop.total-complex-injective-resolution`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)