# Ext 的截面公式　`cor.ext-cond-set-section`
推论：$\operatorname{Ext}^{n}(\mathbb{Z}\cdot X, N)(S) \cong H^{n}(X \times S, N)$
layer 18 · 推论 · 凝聚态上同调 · 凝聚态数学
[在星图里打开](../#n=cor.ext-cond-set-section)　·　[节点索引](../index.md)

设 $X$ 是凝聚态集、$N$ 是凝聚态阿贝尔群、$S$ 是 **Stonean** 空间。则对一切 $n \ge 0$

$$\operatorname{Ext}^{n}_{\mathbb{Z}}\bigl(\mathbb{Z}\cdot X,\ N\bigr)(S) \;\cong\; H^{n}\bigl(X \times S,\ N\bigr).$$

## 为什么成立（入边，证明在 proofs/）
- …另有入边，续页见 [nodes/cor.ext-cond-set-section.2.md](./cor.ext-cond-set-section.2.md)

refs: Le Stum, An introduction to condensed mathematics, §8.3

> 说明见 `notes/cor.ext-cond-set-section.md`

引用：`cor.ext-cond-set-section`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)