范畴论中的极限 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 函子的自然变换，揭示其范畴本质。