拓扑斯态射在阿贝尔群上给出伴随
命题： 升级到
- 命题
- 依赖深度 layer 18
- 范畴论
- 拓扑斯
prop.topos-morphism-abelian-adjunction · 命题 · 拓扑斯态射 · 阿贝尔群 · 正合 · 伴随
又称Exercise 7.51
陈述
设 是拓扑斯态射。则拉回 有右伴随 ，而且 正合。
说明
证明。 在底层 且 正合 ✓；而阿贝尔群层的结构是逐点给的（群运算是态射、等式逐点验证），所以这对伴随连同正合性自动升级到 这一层 ✓。∎
谁指向它（入边）
定义引用 1
-
命题说的就是拓扑斯态射的那一对函子。
参考
- Le Stum, An introduction to condensed mathematics, Exercise 7.51
同一星团的其他概念 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
- 诱导拓扑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 19
- 拉回与内 Hom、张量积相容layer 19
- 对象给出拓扑斯态射layer 19
- 切片的投影公式layer 20
- 终映射给出的拓扑斯态射layer 20
继续
在星图里打开「拓扑斯态射在阿贝尔群上给出伴随」 · 全部 709 个概念 · Markdown 原文 · 读图指南与记号表