允许右分式演算时局部化函子正合
命题：右分式演算 正合
- 命题
- 依赖深度 layer 11
- 范畴论
- 范畴与图
prop.localization-functor-exact · 命题 · 局部化 · 分式演算 · 正合
又称Exercise 1.54
陈述
若 关于 容许右分式演算，则局部化函子 正合。
说明
证明。 右分式演算说 是形如 （）的分式的商 ✓，而 在这些 Hom 集上是满的、并与原范畴的映射交换 ✓，于是它保有限极限与有限余极限 ✓。∎
谁指向它（入边）
定义引用 1
-
正合说的是局部化函子。
参考
- Le Stum, An introduction to condensed mathematics, Exercise 1.54
同一星团的其他概念 17 个
- Grothendieck 宇宙layer 4
- 图layer 6
- 范畴layer 7
- 图的态射layer 7
- 截面与收缩layer 8
- 子范畴layer 8
- 矩阵范畴layer 8
- 函子保截面与收缩layer 9
- 局部化layer 10
- 预序集就是「Hom 至多一元」的小范畴layer 11
- 态射范畴上的域与余域函子layer 13
- Cat 的终始对象与有限积layer 13
- 分式演算下的局部化layer 14
- 同构的截面与收缩唯一layer 14
- 局部化的 Hom 是滤过余极限layer 15
- 投射对象与满态射的截面layer 15
继续
在星图里打开「允许右分式演算时局部化函子正合」 · 全部 709 个概念 · Markdown 原文 · 读图指南与记号表