# 诱导拓扑　`def.induced-topology`
诱导拓扑（Induced Topology）
layer 17 · 定义 · 拓扑斯 · 范畴论
[在星图里打开](../#n=def.induced-topology)　·　[节点索引](../index.md)

设 $\mathcal{C}'$ 是 site，$f^{-1} : \mathcal{C} \to \mathcal{C}'$ 是任何函子。$\mathcal{C}$ 上的**诱导拓扑**是使 $f^{-1}$ **连续**的最细拓扑。

## 为什么成立（入边，证明在 proofs/）
- [`def.grothendieck-topology`](../nodes/def.grothendieck-topology.md) Grothendieck 拓扑：用到了定义 Grothendieck 拓扑　[proofs/def-dep.inducedtopo-topology.md](../proofs/def-dep.inducedtopo-topology.md)

- …另有入边，续页见 [nodes/def.induced-topology.2.md](./def.induced-topology.2.md)

refs: Le Stum, An introduction to condensed mathematics, §3.3

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