函子保截面与收缩
命题：函子把截面（收缩、同构）送到同类
- 命题
- 依赖深度 layer 9
- 范畴论
- 范畴与图
prop.functor-preserves-sections · 命题 · 截面 · 收缩 · 同构 · 函子
又称Exercise 1.11
陈述
函子把截面（resp. 收缩、同构）送到截面（resp. 收缩、同构）；特别地函子把同构送到同构。
说明
证明。 与 在函子下仍是同样的等式（函子保恒等、保复合）✓。∎
谁指向它（入边）
定义引用 1
-
保的就是截面与收缩。
参考
- Le Stum, An introduction to condensed mathematics, Exercise 1.11
同一星团的其他概念 17 个
- Grothendieck 宇宙layer 4
- 图layer 6
- 范畴layer 7
- 图的态射layer 7
- 截面与收缩layer 8
- 子范畴layer 8
- 矩阵范畴layer 8
- 局部化layer 10
- 允许右分式演算时局部化函子正合layer 11
- 预序集就是「Hom 至多一元」的小范畴layer 11
- 态射范畴上的域与余域函子layer 13
- Cat 的终始对象与有限积layer 13
- 分式演算下的局部化layer 14
- 同构的截面与收缩唯一layer 14
- 局部化的 Hom 是滤过余极限layer 15
- 投射对象与满态射的截面layer 15