# Cond/X 到开集拓扑斯的态射　`prop.cond-slice-topos-morphism`
拓扑斯态射 $c_{X} : \mathrm{Cond}/X \rightleftarrows \mathrm{Open}(X)$
layer 18 · 命题 · 凝聚态上同调 · 凝聚态数学+范畴论
[在星图里打开](../#n=prop.cond-slice-topos-morphism)　·　[节点索引](../index.md)

设 $X$ 是拓扑空间。存在拓扑斯态射

$$c_{X} : \mathrm{Cond}/X \rightleftarrows \mathrm{Open}(X),$$

其中 $\mathrm{Open}(X)$ 是 $X$ 的开集所成的拓扑空间对应的拓扑斯（开集按含入组成的偏序，配上它的标准拓扑）。
> 陈述续见 [nodes/prop.cond-slice-topos-morphism.2.md](./prop.cond-slice-topos-morphism.2.md)


## 为什么成立（入边，证明在 proofs/）
- …另有入边，续页见 [nodes/prop.cond-slice-topos-morphism.3.md](./prop.cond-slice-topos-morphism.3.md)

refs: Le Stum, Proposition 8.1.3

> 说明见 `notes/prop.cond-slice-topos-morphism.md`

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