代数范畴里的极限与余极限
命题:极限逐点算,余极限由自由构造加商给出
- 命题
- 依赖深度 layer 12
- 范畴论
- 范畴里的代数结构
prop.algebra-categories-limits · 命题 · 极限 · 余极限 · 自由对象 · 代数范畴
又称Exercise 1.28
陈述
、、、、、 里的极限逐点算(忘到底集合就是集合的极限);余极限由「先自由生成、再取商」给出 —— 例如 里的余积是自由积。
说明
证明。 这些遗忘函子都保极限 ✓,所以极限 = 底层集合的极限配上由泛性质逐点给出的结构 ✓;余积则先把生成元自由地拼起来、再商掉关系 ✓。∎
谁指向它(入边)
定义引用 1
-
说这些范畴里的极限余极限怎么算。
参考
- Le Stum, An introduction to condensed mathematics, Exercise 1.28
同一星团的其他概念 10 个
- 幺半群对象layer 13
- 群对象与阿贝尔群对象layer 14
- 双代数的例子layer 14
- 遗忘与含入函子的正合性layer 14
- 代数遗忘函子保极限layer 14
- 自由对象的例子layer 14
- 带算子的对象就是模layer 14
- Ab(C) 的例子layer 15
- 保有限积的函子作用于代数对象layer 15