# Stone 空间是 CHaus 的反射子范畴　`prop.stone-reflective`
Stone 空间是 $\mathbf{CHaus}$ 的反射子范畴
layer 17 · 命题 · Stone 与 Stonean · 拓扑学
[在星图里打开](../#n=prop.stone-reflective)　·　[节点索引](../index.md)

Stone 空间构成的范畴是 $\mathbf{CHaus}$ 的反射子范畴。

## 为什么成立（入边，证明在 proofs/）
- [`def.stone-space`](../nodes/def.stone-space.md) 全不连通与 Stone 空间：用到了定义 全不连通与 Stone 空间　[proofs/def-dep.stone-reflective.md](../proofs/def-dep.stone-reflective.md)

## 它能推出什么 / 谁在用它
- ⇒ [`thm.stone-profinite`](../nodes/thm.stone-profinite.md) Stone ⟺ 投射有限

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

> 说明见 `notes/prop.stone-reflective.md`

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