# 任意函子诱导拓扑斯态射　`thm.induced-topos-morphism`
定理：$\hat{g}_{!} \dashv \hat{g}^{-1} \dashv \hat{g}_{*}$，于是 $\hat{g}$ 是拓扑斯的态射
layer 18 · 定理 · 拓扑斯 · 范畴论
[在星图里打开](../#n=thm.induced-topos-morphism)　·　[节点索引](../index.md)

设 $g : \mathcal{C} \to \mathcal{C}'$ 是任意函子。则预复合

$$\hat{g}^{-1} : \widehat{\mathcal{C}'} \longrightarrow \widehat{\mathcal{C}}, \qquad T' \longmapsto T' \circ g^{\mathrm{op}}$$
> 陈述续见 [nodes/thm.induced-topos-morphism.2.md](./thm.induced-topos-morphism.2.md)


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

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

refs: Le Stum, An introduction to condensed mathematics, Theorem 3.4.2, Corollary 3.4.3

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

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