范畴论中的极限

1. 预备概念：范畴与函子

• 范畴 由对象和箭头（态射）组成，满足结合律和单位律。例如，集合范畴 Set 的对象是集合，箭头是函数。
• 函子 是范畴之间的映射，保持对象和箭头的结构。例如，遗忘函子从群范畴 Grp 映射到 Set，忽略群的运算。

2. 图表与锥形

• 图表 是范畴中的对象和态射组成的网络，通常用有向图表示（如三角形、正方形）。
• 锥形 对图表 \(D\)（如一个离散图或链），锥形由一个对象 \(C\)（顶点）和一组从 \(C\) 到 \(D\) 中每个对象的态射组成，使得所有三角形交换（即路径复合相等）。

3. 极限的定义

• 极限 是图表的“通用锥形”，即对任意其他锥形，存在唯一的态射使其分解。具体形式包括：
  • 积：离散图的极限（如集合的笛卡尔积）。
  • 等化子：平行箭头 \(f, g: A \to B\) 的极限，是使 \(f \circ e = g \circ e\) 的“最大”对象 \(E\) 和态射 \(e: E \to A\)。
  • 拉回：正方形图的极限，是纤维积的推广。

4. 极限的构造与性质

• 在 Set 中，积是笛卡尔积，等化子是 \(\{ a \in A \mid f(a) = g(a) \}\)，拉回是配对 \((x,y)\) 满足 \(f(x) = g(y)\)。
• 极限的唯一性由泛性质保证：若两个对象都满足极限的泛性质，则它们同构。
• 极限的存在性 依赖范畴的完备性（如 Set 是完备的，但有限群范畴不是）。

5. 对偶概念：余极限

• 将极限的定义中箭头方向反转，得到余极限（如余积、推出、余等化子）。例如，在 Set 中，余积是不交并，推出是黏合空间。

6. 极限的应用

• 保持极限：若函子 \(F\) 将极限映射为极限，则称 \(F\) 连续。例如，遗忘函子通常不连续（如群积映射到集合积时，运算需额外验证）。
• 极限与伴随函子：右伴随函子保持极限（如遗忘函子的左伴随是自由函子）。
• 在程序语言语义中，极限用于建模递归类型（如链的极限定义列表类型）。

7. 高阶视角：极限与通用性

• 极限统一了数学中的通用构造（如拓扑学的极限空间、代数中的逆极限）。
• 通过 Yoneda 引理，极限可转化为 Hom 函子的自然变换，揭示其范畴本质。