# 对象给出拓扑斯态射　`prop.topos-morphism-from-object`
命题：$X \in \mathcal{C}$ 给出 $\widehat{X} : \mathbf{Set} \to \widehat{\mathcal{C}}$
layer 19 · 命题 · 拓扑斯 · 范畴论
[在星图里打开](../#n=prop.topos-morphism-from-object)　·　[节点索引](../index.md)

把 $X \in \mathcal{C}$ 看成函子 $X : \mathbf{1} \to \mathcal{C}$，它给出拓扑斯态射 $\widehat{X} : \mathbf{Set} \to \widehat{\mathcal{C}}$，三个函子在对象上由下式给出：
> 陈述续见 [nodes/prop.topos-morphism-from-object.2.md](./prop.topos-morphism-from-object.2.md)


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

## 它能推出什么 / 谁在用它
- …另有出边，续页见 [nodes/prop.topos-morphism-from-object.4.md](./prop.topos-morphism-from-object.4.md)

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

> 说明见 `notes/prop.topos-morphism-from-object.md`

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