本章是范畴论第一座顶峰。我们要证明一条乍看玄秘、实则贯穿现代数学的引理：
"一个对象由它'看上去像什么'完全决定。"
— Yoneda 引理 (米田引理), 1954
换成数学语言：$A$ 这个对象的全部信息，等价于一切对象 $X$ 与 $A$ 之间的态射集 $\mathrm{Hom}(X, A)$ 加上它们的相互关系。如果两个对象在所有 Hom 上看起来一样，那它们就是同构。
Yoneda 的伟大之处在于：它给了我们一种用"测试 / 探针"代替"内部结构"的视角。Grothendieck 把这条引理用到极致，重写了整套代数几何——概形被定义为它对所有环表现出来的样子。
1. 可表函子 $h^A, h_A$
可表函子（Representable Functor）
固定 $A\in\mathcal{C}$。回忆第2章的两个 Hom 函子：
- $h^A := \mathrm{Hom}(A, -):\mathcal{C}\to \mathbf{Set}$ （协变，"从 $A$ 出发的态射"）；
- $h_A := \mathrm{Hom}(-, A):\mathcal{C}^{\mathrm{op}}\to \mathbf{Set}$ （反变，"射入 $A$ 的态射"）。
凡形如 $h^A$ 或 $h_A$ 的函子称为可表函子，$A$ 称为表示对象（representing object）。
换言之，每个对象 $A$ 给出两个"探针函子"：站在 $A$ 这一侧观察整个范畴。
2. Yoneda 引理（声明）
Yoneda 引理（核心定理）
设 $\mathcal{C}$ 是局部小范畴，$A\in\mathcal{C}$，$F: \mathcal{C}\to \mathbf{Set}$ 是任意函子。则存在自然双射 $$ \boxed{\;\mathrm{Nat}(h^A,\, F)\;\;\xrightarrow{\;\cong\;}\;\;F(A)\;} $$ 由 $\alpha\mapsto \alpha_A(\mathrm{id}_A)$ 给出。其逆映射把 $a\in F(A)$ 送到自然变换 $\hat a$，分量为 $$ \hat a_X: h^A(X) = \mathrm{Hom}(A, X)\to F(X),\quad f\mapsto F(f)(a). $$ 反变版本：$\mathrm{Nat}(h_A, G)\cong G(A)$ 对反变 $G$ 成立。
这是令人惊讶的压缩：左侧是一族 $\{\alpha_X\}_{X}$（关于所有对象），右侧只是 $F(A)$ 中的一个元素。
图解 1：Yoneda 引理 = 一族箭头被一个元素决定
证明（双向构造）
$\Rightarrow$ 方向：给定 $\alpha\in\mathrm{Nat}(h^A, F)$，定义 $\Phi(\alpha) := \alpha_A(\mathrm{id}_A)\in F(A)$。
$\Leftarrow$ 方向：给定 $a\in F(A)$，定义 $\hat a_X(f) := F(f)(a)$ 对所有 $f: A\to X$。验证它确实是自然变换：对 $g: X\to Y$，需证 $F(g)\circ \hat a_X = \hat a_Y\circ h^A(g)$。两侧作用于 $f\in\mathrm{Hom}(A, X)$： $$ F(g)(\hat a_X(f)) = F(g)(F(f)(a)) = F(g\circ f)(a),\qquad \hat a_Y(g\circ f) = F(g\circ f)(a). $$ 相等！✓
互逆：$\Phi(\hat a) = \hat a_A(\mathrm{id}_A) = F(\mathrm{id}_A)(a) = \mathrm{id}_{F(A)}(a) = a$。反过来：由自然性，对任意 $f: A\to X$， $$ \alpha_X(f) = \alpha_X(h^A(f)(\mathrm{id}_A)) = F(f)(\alpha_A(\mathrm{id}_A)) = F(f)(\Phi(\alpha)) = \widehat{\Phi(\alpha)}_X(f). \;\;\square $$
3. Yoneda 嵌入：每个对象都有"画像"
Yoneda 嵌入
函子 $h_{(-)}: \mathcal{C}\to [\mathcal{C}^{\mathrm{op}}, \mathbf{Set}]$，$A\mapsto h_A$，是全忠实的（fully faithful）。即对每对 $A, B\in\mathcal{C}$， $$ \mathrm{Hom}_{\mathcal{C}}(A, B)\;\;\xrightarrow{\;\cong\;}\;\;\mathrm{Nat}(h_A, h_B). $$
推论：$A\cong B$ $\Leftrightarrow$ $h_A\cong h_B$
一个对象由它的"探针视图"完全决定（直到同构）。
图解 2：Yoneda 嵌入 $\mathcal{C}\hookrightarrow [\mathcal{C}^{\mathrm{op}}, \mathbf{Set}]$
4. 实算：在 $\mathbf{FinSet}$ 中验证 Yoneda
抽象证明已经完成，下面用一个具体的小例子把双射"打开"看，每一步都数清楚。
例 1：$\mathrm{Nat}(\mathrm{Hom}(\{*\}, -), \mathcal{P})\cong \mathcal{P}(\{*\})$
取 $\mathcal{C} = \mathbf{FinSet}$（有限集范畴），$A = \{*\}$（单点集），$F = \mathcal{P}$（协变幂集函子，$f\mapsto f_*$ 像）。Yoneda 引理给出 $$ \mathrm{Nat}(h^{\{*\}}, \mathcal{P}) \;\cong\; \mathcal{P}(\{*\}) = \{\emptyset, \{*\}\}. $$ 左侧本来是个无穷无尽的对象（一族遍历所有有限集 $X$ 的函数 $\alpha_X$），右侧只是 2 个元素的集合。让我们逐步验证：
图解 3：双射的两个具体情形
5. 泛性质：用 Yoneda 的眼睛看世界
Yoneda 给我们一种强大方法来定义对象：与其描述对象的内部结构，不如描述它对所有"测试对象"看上去什么样。这就是泛性质（universal property）。
积（Product）的泛性质
范畴 $\mathcal{C}$ 中两对象 $A, B$ 的积是一个对象 $A\times B$ 配两个投影 $\pi_1: A\times B\to A,\ \pi_2: A\times B\to B$，使得对任意对象 $C$ 与态射 $f: C\to A,\ g: C\to B$，存在唯一 $h: C\to A\times B$ 满足 $$ \pi_1\circ h = f,\qquad \pi_2\circ h = g. $$
图解 4：积 $A\times B$ 的泛性质
例 2：积在不同范畴中的样子
- $\mathbf{Set}$：$A\times B$ = 笛卡尔积。
- $\mathbf{Grp}$：$G\times H$ = 直积群。
- $\mathbf{Top}$：$X\times Y$ 配积拓扑。
- $\mathbf{CRing}$：$R\times S$ = 直积环。
- 偏序集 $(P,\le)$：$a\times b$ = $\inf(a, b)$（最大下界）。
同一条泛性质，在不同范畴中具体化为不同的熟悉结构—— 这就是范畴论的"统一力"。
6. 自由对象的泛性质
自由群 $F(S)$ 的泛性质
固定集合 $S$。自由群 $F(S)$ 配单射 $\eta: S\hookrightarrow U(F(S))$ 满足：对任意群 $G$ 与函数 $f: S\to U(G)$，存在唯一群同态 $\bar f: F(S)\to G$ 使 $$ U(\bar f)\circ \eta = f. $$
图解 5：自由群的泛性质
例 3：泛性质构造的"自由家族"
- 自由群 $F(S)$（左伴随于 $U: \mathbf{Grp}\to\mathbf{Set}$）；
- 自由阿贝尔群 $\mathbb{Z}^{(S)}$（左伴随于 $U: \mathbf{Ab}\to\mathbf{Set}$）；
- 自由模 $R^{(S)}$（左伴随于 $U: R\text{-}\mathbf{Mod}\to \mathbf{Set}$）；
- 多项式环 $R[x_1,\dots,x_n]$（自由 $R$-代数）；
- 张量积 $V\otimes W$（"双线性映射的泛接收器"）；
- 商群 / 商环（"使某些元素变成 $0$ 的最小映射"——余泛对象）。
所有"自由 / 商"构造都是某个伴随的左 / 右伴随。Yoneda 引理告诉我们：若伴随存在，必由泛性质唯一确定。
泛性质 ⇒ 同构唯一
满足同一条泛性质的两个对象必通过唯一同构对应。证明：把 Yoneda 引理用到 $\mathrm{id}$ 上。
这就是为什么数学家说"积是那个积"——尽管表达式可以千变万化，本质上只有一个。
练习 1（Yoneda 在群上的解读）
把群 $G$ 看作单对象范畴 $\mathbf{B}G$。证明：协变函子 $F: \mathbf{B}G\to \mathbf{Set}$ = 带 $G$-作用的集合 $X$；自然变换 = $G$-等变映射。这时 $h^{\bullet} = G$（$G$ 通过左乘作用于自身），Yoneda 给出 $\mathrm{Nat}(h^{\bullet}, F)\cong F(\bullet) = X$ —— 即$G$-等变映射 $G\to X$ 等同于 $X$ 中元素的选择。
提示
一个等变映射 $\varphi: G\to X$ 完全由 $\varphi(e)\in X$ 决定（$\varphi(g) = g\cdot\varphi(e)$）。这是 Yoneda 的"群论翻译"。
练习 2（余积 = 余泛对象）
写出余积（coproduct）$A\sqcup B$ 的泛性质（提示：把积的图所有箭头反过来）。 然后验证：$\mathbf{Set}$ 中余积 = 不交并，$\mathbf{Grp}$ 中余积 = 自由积，$\mathbf{Ab}$ 中余积 = 直和，$\mathbf{CRing}$ 中余积 = 张量积 $R\otimes_{\mathbb{Z}} S$。
提示
余积配两个余投影 $\iota_1: A\to A\sqcup B,\ \iota_2: B\to A\sqcup B$，满足：对任意 $C$ 与 $f: A\to C, g: B\to C$，存在唯一 $h: A\sqcup B\to C$ 使 $h\circ\iota_1 = f, h\circ\iota_2 = g$。代入各范畴验证。
练习 3（Spec 的泛性质）
代数几何中关键事实：仿射概形 $\mathrm{Spec}\,\mathbb{Z}[x]$ 在 $\mathbf{Aff} = \mathbf{CRing}^{\mathrm{op}}$ 中"代表"函子 $h_{\mathbb{Z}[x]} = \mathrm{Hom}_{\mathbf{CRing}}(\mathbb{Z}[x], -)$。问：这个函子赋给环 $R$ 什么集合？
提示
$\mathrm{Hom}(\mathbb{Z}[x], R)\cong R$（环同态 $\varphi$ 由 $\varphi(x)\in R$ 唯一决定）。所以 $\mathrm{Spec}\,\mathbb{Z}[x]$ 的"几何点"集合在 $R$ 上 = $R$ 本身 — 即仿射直线 $\mathbb{A}^1_R$。这就是为什么$\mathrm{Spec}\,\mathbb{Z}[x]$ = "通用的直线"。
练习 4（极限是泛锥）
范畴 $\mathcal{J}$ 上的图（diagram）= 函子 $D: \mathcal{J}\to\mathcal{C}$。极限 $\lim D$ 是带"泛锥"的对象。请用泛性质语言写出 $\lim D$ 的定义，并指出积 $A\times B$ 是它的最简单情形。
提示
锥 $C\to D$ = 一族 $\{f_j: C\to D(j)\}_j$ 与 $\mathcal{J}$ 中所有箭头兼容。$\lim D$ 是终锥：对任何锥 $C\to D$ 存在唯一 $h: C\to \lim D$ 与之兼容。当 $\mathcal{J}$ = "两个无关对象"时退化为积。
7. 收束：范畴论的核心思维方式
Yoneda 引理是整个范畴论的旋转门：
- 它告诉我们：对象 = 它在所有探针下的样子。这是从"实体论"（ontological）转向"关系论"（relational）的数学哲学。
- 它驱动了 Grothendieck 的函子点（functor of points）观点：把概形 $X$ 等同于函子 $R\mapsto X(R) = \mathrm{Hom}(\mathrm{Spec}\,R, X)$。
- 它解释了泛性质的本质：泛性质 = 表示某个 $\mathrm{Hom}$ 函子。
- 它是一切范畴论"唯一确定"陈述的根。
Saunders Mac Lane："全部范畴论都不过是 Yoneda 引理的若干推论"（半开玩笑地说，但不算太偏）。
下一阶段（Phase 8）我们将把 Yoneda 与"层"结合，进入 Grothendieck 的概形世界——代数几何真正开始。