# 常层的伴随　`prop.constant-sheaf-adjunction`
命题：$\operatorname{Hom}(\widetilde{E}_{\mathcal{C}}, F) \cong \operatorname{Hom}_{\mathbf{Set}}\bigl(E, \operatorname{Hom}(\mathbf{1}_{\mathcal{C}}, F)\bigr)$
layer 16 · 命题 · 层与拓扑 · 范畴论
[在星图里打开](../#n=prop.constant-sheaf-adjunction)　·　[节点索引](../index.md)

设 $E$ 是集合、$F$ 是 site $\mathcal{C}$ 上的层。则
> 陈述续见 [nodes/prop.constant-sheaf-adjunction.2.md](./prop.constant-sheaf-adjunction.2.md)


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

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

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

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