在前几章我们学会了"对象 + 态射"的语言。从这一章开始，我们要学会一种更高级的建造方式——用泛性质（universal property）从已知的对象出发，拼接出新的对象。这就是极限（limit）与余极限（colimit）。
如果你觉得这些词陌生，先记住一个最朴素的画面：极限 = 朝里收拢的金字塔（cone），余极限 = 朝外张开的金字塔（cocone）。范畴论用一句箴言把所有"建造"统一了：
"积、纤维积、核、等化子……都是同一种东西的不同名字：极限。" —— 范畴论的统一律
1. 图表、锥与极限
图表（Diagram）
设 $J$ 是一个小范畴（"指标范畴"，shape），$\mathcal{C}$ 是范畴。一个形状为 $J$ 的图表就是一个函子 $$ D: J \longrightarrow \mathcal{C}. $$ 把 $J$ 想成一张"骨架图"，$D$ 把它画到 $\mathcal{C}$ 里。
锥（Cone）
$\mathcal{C}$ 中对象 $C$ 到图表 $D$ 的一个锥是一族态射 $$ \{\,\psi_j: C \to D(j)\,\}_{j\in J} $$ 使得对 $J$ 中每个箭头 $\alpha: i\to j$ 都有 $D(\alpha)\circ \psi_i = \psi_j$（"兼容条件"）。
极限 = 万有锥（Limit = Universal Cone）
$D$ 的极限是一个特别的锥 $$ \{\,\pi_j: L \to D(j)\,\}_{j\in J} $$ 它对所有其他锥具有初始性：对任一锥 $\{\psi_j: C\to D(j)\}$，存在唯一态射 $h: C\to L$ 满足 $\pi_j\circ h = \psi_j$。我们把 $L$ 记作 $\varprojlim D$ 或 $\lim D$。
一句话：极限 = 兼容地汇入图表的所有方式中"最经济"的那一个。
2. 具体的极限
2.1 积 $A\times B$：两条投影
最简单的图表只有两个对象、没有非平凡箭头：$J = \{\bullet\ \ \bullet\}$。它的极限叫积（product）。
图解 1：积的泛性质（锥图）
例 1：积在不同范畴中的样子
- Set（集合范畴）：$A\times B = \{(a,b)\}$，笛卡尔积。
- Grp（群范畴）：直积群 $G\times H$，按分量乘。
- Top（拓扑空间）：积空间 + 积拓扑（保证两条投影连续的最粗拓扑）。
- Vect$_k$（向量空间）：直和 $V\oplus W$ 同时是积也是余积（有限情形）。
2.2 等化子 $\mathrm{eq}(f,g)$
指标范畴换成"两个平行箭头"：$J = \{\bullet \rightrightarrows \bullet\}$。它的极限叫等化子（equalizer）。
等化子
给定 $f, g: A\rightrightarrows B$，$\mathrm{eq}(f,g)$ 是 $A$ 的"最大子对象" $E\xrightarrow{e} A$ 使 $f\circ e = g\circ e$，且对任何另一个 $h: X\to A$ 满足 $fh = gh$，都唯一地分解为 $h = e\circ \tilde h$。
Set 中：$E = \{a\in A : f(a) = g(a)\}$。
Ab 中：$E = \ker(f - g)$ —— 故"核 = 与零映射的等化子"。
2.3 拉回 / 纤维积（Pullback / Fibre Product）
指标范畴换成"角"：$\bullet\to \bullet \leftarrow \bullet$。它的极限叫拉回或纤维积，记作 $A\times_C B$。这是代数几何中最常用的构造，没有之一。
图解 2：Pullback（纤维积）方块图
纤维 = 纤维积的特殊情形
若 $C = \{*\}$，则 $A\times_C B = A\times B$（普通积）。
若 $B = \{c\}$（单点）通过 $g$ 嵌入 $C$，则 $A\times_C \{c\} =
f^{-1}(c)$ —— $f$ 在 $c$
处的纤维。这就是"纤维积"得名的来源。
3. 余极限：把所有箭头翻转
余极限（Colimit）
把"锥"中的所有箭头反向，就得到余锥（cocone）；其中具有终性的那一个就是余极限 $\varinjlim D$，对偶于极限： $$ \text{colim} \;=\; \lim \text{（在反范畴中）}. $$
3.1 余积 $A\amalg B$（不交并 / 自由乘积）
图解 3：余积的泛性质（余锥图）
3.2 余等化子（Coequalizer）
余等化子 = 商对象
$f, g: A\rightrightarrows B$ 的余等化子是 $B\twoheadrightarrow Q$，使 $q\circ f = q\circ g$，且对任何另一个 $h: B\to X$ 满足 $hf = hg$，唯一分解。
Set 中：商 $B/\sim$，等价关系由 $f(a)\sim g(a)$ 生成。
Ab 中：$\mathrm{coker}(f - g) = B/\mathrm{Im}(f - g)$ —— 故"余核 = 与零的余等化子"。
3.3 推出（Pushout）
图解 4：Pushout 方块图（Pullback 的对偶）
4. 滤过（余）极限：芽与茎
滤过范畴（Filtered Category）
范畴 $J$ 称为滤过的，若：
- $J$ 非空；
- 任两对象 $i, j$ 都有共同的"上界" $k$，配有箭头 $i\to k$, $j\to k$；
- 对任两条平行箭头 $f, g: i\rightrightarrows j$，存在 $h: j\to k$ 使 $hf = hg$（"打通分歧"）。
典型例子：任一有向集（含偏序，任两元有共同上界）。
图解 5：滤过余极限——层的茎（stalk）
例 2：函数芽（germs of functions）
在 $\mathbb{R}$ 上取 $x = 0$，令 $\mathcal{C}^0(U)$ = $U$ 上的连续函数。两个函数 $f\in\mathcal{C}^0(U)$ 和 $g\in\mathcal{C}^0(V)$ 等价当且仅当它们在某个 $W\subseteq U\cap V$ 上重合。等价类就是函数在 $0$ 处的芽。可以是连续函数芽、光滑函数芽、解析函数芽。
5. 完备范畴与限制定理
（余）完备性
范畴 $\mathcal{C}$ 称为完备的，若所有小极限都存在；称为余完备的，若所有小余极限都存在。
- $\mathbf{Set}, \mathbf{Top}, \mathbf{Grp}, \mathbf{Ab}, \mathbf{Mod}_R, R\text{-}\mathbf{Alg}$ 都是双完备的（complete & cocomplete）。
- $\mathbf{Field}$（域范畴）既不完备也不余完备——例如积 $\mathbb{Q}\times\mathbb{Q}$ 不再是域。
限制定理（Limit-existence Theorem）
$\mathcal{C}$ 完备 ⟺ 它有所有小积且有所有等化子。
$\mathcal{C}$ 余完备 ⟺
它有所有小余积且有所有余等化子。
换言之，所有极限都可以由"积 + 等化子"拼起来——这是范畴论中一条非常实用的简化定理。
6. 生活实例：乐高积木的拼装与拆解
想象一堆乐高零件 $A, B, C, \ldots$ 与一份"拼装说明书"（图表 $D$）。
- 余极限 = 拼装：按说明书把零件粘起来，得到一个最经济的成品。多于一种粘法都可由它唯一诱导出去。
- 极限 = 拆解：从一个候选模型出发，往各个零件的投影是什么——找到所有"投影都对得上"的最大对象。
- 纤维积 = 沿条件挑选：从两堆零件中挑出"能契合同一个接口"的组合。
- 滤过余极限 = 越拼越细的工艺：把无数个细节版本合并，最终留下"在某个分辨率下相同"的等价类。