1. 概述 于 范畴论 中, 极限 是一个 图式 上最普遍的 锥. 它统一了 终对象、积、等化子 与 拉回. 2. 定义 定义 1 (极限) 设 为 图式. 称锥 为 的 极限, 当对任意锥 , 存在唯一态射 使对每个 都有 ： 记号 2 (极限对象) 图式 的 极限对象 记为 . 3. 例子 例子 3 (常见极限) 空图式的 极限 是 终对象； 离散双对象图式的极限是 积； 并行箭头图式的极限是 等化子； 余屋形图式 的极限是 拉回. 4. 相关性质 命题 4 (极限在唯一同构意义下唯一) 同一 图式 的任意两个 极限 之间存在唯一保持所有锥分量的同构. 证明 5 (极限在唯一同构意义下唯一) 两个 极限 各自对另一个极限的锥给出唯一比较态射. 两个方向的复合与恒同态射具有相同的全部锥分量, 故由唯一性相等. 5. 相关概念 余极限； 完备范畴. 6. 术语翻译 中文英文极限limit 范畴论
