代数范畴里的极限与余极限

命题:极限逐点算,余极限由自由构造加商给出

prop.algebra-categories-limits · 命题 · 极限 · 余极限 · 自由对象 · 代数范畴

又称Exercise 1.28

陈述

Mon\mathbf{Mon}、Gr\mathbf{Gr}、Rng\mathbf{Rng}、G-SetG\text{-}\mathbf{Set}、A-ModA\text{-}\mathbf{Mod}、k-Algk\text{-}\mathbf{Alg} 里的极限逐点算(忘到底集合就是集合的极限);余极限由「先自由生成、再取商」给出 —— 例如 Gr\mathbf{Gr} 里的余积是自由积。

说明

证明。 这些遗忘函子都保极限 ✓,所以极限 = 底层集合的极限配上由泛性质逐点给出的结构 ✓;余积则先把生成元自由地拼起来、再商掉关系 ✓。∎

谁指向它(入边)

定义引用 1

参考

同一星团的其他概念 10 个

继续

在星图里打开「代数范畴里的极限与余极限」 ·  全部 709 个概念 ·  Markdown 原文 ·  读图指南与记号表