诱导拓扑
诱导拓扑（Induced Topology）
- 定义
- 依赖深度 layer 17
- 范畴论
- 拓扑斯
def.induced-topology · 范畴论 · site · 诱导拓扑
又称诱导拓扑·induced topology·Definition 3.4.7·Def 3.4.7·Exercise 3.61
陈述
设 是 site， 是任何函子。 上的诱导拓扑是使 连续的最细拓扑。
谁指向它（入边）
定义引用 2
-
诱导拓扑本身是一条拓扑。
-
诱导拓扑取的是使 连续的最细拓扑。
参考
- Le Stum, An introduction to condensed mathematics, §3.3
同一星团的其他概念 36 个
- 生成元集layer 10
- 拟紧的性质layer 13
- 切片拓扑斯layer 13
- 可表示性的下降layer 14
- 切片里的覆盖筛layer 14
- 预拓扑斯layer 15
- 拟紧对象layer 15
- 子对象构成有界格layer 15
- 余连续函子layer 16
- 连续函子（site 之间）layer 16
- 预标准拓扑layer 16
- 拟分离对象layer 16
- 拓扑斯layer 16
- 单满在层化后不变layer 16
- 预标准拓扑下的层layer 16
- 满-单分解layer 16
- 拟紧层与紧的 étale 空间layer 16
- 拓扑斯上的层即保极限的预层layer 16
- site 的态射layer 17
- 拓扑斯的态射layer 17
- 切片上的正合左伴随layer 17
- 余积与商在层范畴中不变layer 17
- 拓扑斯中覆盖即余积满射layer 17
- Giraud 定理layer 17
- 预拓扑斯由拓扑斯唯一确定layer 17
- 内 Hom 的取值layer 18
- 切片左伴随作用在 Z 上layer 18
- 拓扑斯态射在阿贝尔群上给出伴随layer 18
- 点给出的拓扑斯态射layer 18
- 任意函子诱导拓扑斯态射layer 18
- 切片上的上同调就是原上同调layer 19
- 拉回与内 Hom、张量积相容layer 19
- 对象给出拓扑斯态射layer 19
- 切片的投影公式layer 20
- 终映射给出的拓扑斯态射layer 20
继续
在星图里打开「诱导拓扑」 · 全部 709 个概念 · Markdown 原文 · English entry · 读图指南与记号表