# Cond 是拓扑斯　`thm.cond-topos`
凝聚态集的范畴是拓扑斯
layer 18 · 定理 · 凝聚态集 · 凝聚态数学
[在星图里打开](../#n=thm.cond-topos)　·　[节点索引](../index.md)

**凝聚态集的范畴 $\mathrm{Cond}$ 是拓扑斯。**

## 为什么成立（入边，证明在 proofs/）
- [`def.chaus-pretopos`](../nodes/def.chaus-pretopos.md) CHaus 是预拓扑斯 + [`def.free-presentation`](../nodes/def.free-presentation.md) 自由表示 + [`thm.giraud`](../nodes/thm.giraud.md) Giraud 定理：$\mathbf{CHaus}$ 是预拓扑斯 $\implies$ $\mathrm{Cond}$ 是拓扑斯　[proofs/imp.cond-topos.md](../proofs/imp.cond-topos.md)
- [`def.condensed-set`](../nodes/def.condensed-set.md) 凝聚态集：用到了定义 凝聚态集　[proofs/def-dep.condensed-topos.md](../proofs/def-dep.condensed-topos.md)

refs: Le Stum, §4.1

> 说明见 `notes/thm.cond-topos.md`

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