# 常层沿拉回不变　`prop.inverse-image-constant-sheaf`
命题：$f^{-1}\overline{E} = \overline{E}$
layer 18 · 命题 · 层与拓扑 · 范畴论
[在星图里打开](../#n=prop.inverse-image-constant-sheaf)　·　[节点索引](../index.md)

设 $f : \mathcal{T} \to \mathcal{T}'$ 是拓扑斯态射、$\overline{E}$ 是常层（$E$ 是集合）。则

$$f^{-1}\bigl(\overline{E}\bigr) \;=\; \overline{E}.$$

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

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

> 说明见 `notes/prop.inverse-image-constant-sheaf.md`

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