余连续函子
余连续函子（Cocontinuous Functor）
- 定义
- 依赖深度 layer 16
- 范畴论
- 拓扑斯
def.cocontinuous-functor · 范畴论 · site · 余连续 · 层
又称余连续函子·cocontinuous·Definition 3.4.6·Def 3.4.6·Exercise 3.59·Exercise 3.60
陈述
设 是两个 site 之间的函子。叫余连续的，如果函子 （把预层沿 推出、再层化）把层送到层。
谁指向它（入边）
定义引用 1
-
余连续说的是层能不能推出去。
参考
- 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
- 连续函子（site 之间）layer 16
- 预标准拓扑layer 16
- 拟分离对象layer 16
- 拓扑斯layer 16
- 单满在层化后不变layer 16
- 预标准拓扑下的层layer 16
- 满-单分解layer 16
- 拟紧层与紧的 étale 空间layer 16
- 拓扑斯上的层即保极限的预层layer 16
- 诱导拓扑layer 17
- 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 · 读图指南与记号表