数学公理体系大全:Comprehensive Collection of Mathematical Axiom Systems(卷8)

卷八范畴论------数学的抽象顶峰

1950年代，塞缪尔·艾伦伯格和桑德斯·麦克莱恩在研究代数拓扑中的自然变换时，洞悉到一个深层的数学事实：不同的数学理论之间存在着惊人的结构平行性。群的商结构与集合的商集、向量空间的商空间共享同样的"泛性质"；自由群、自由环、多项式环的构造模式如出一辙；同调代数中的连接同态与拓扑中的边界映射表现出相同的函子行为。这些相似并非偶然的巧合，而是一个更基本的理论在不同语境下的投影------这个理论就是范畴论。

如果卷一是"推理本身的公理"，卷二ZFC是"对象存在的公理"，那么范畴论就是"结构本身的公理"。它不再追问一个数学对象在集合论意义上"是什么"（由哪些元素构成、如何编码为集合），而是追问它"如何行动"------即它与其他对象之间的关系网络。一个数学对象的内在构造退居次要地位，重要的是它如何与其他对象互动、如何嵌入整个范畴的态射体系。这种视角转换带来了一场深刻的哲学革命："你是什么由你与世界的交往决定"成为数学的最高方法论原则。

范畴论诞生于代数拓扑的具体问题，但其公理体系迅速渗透到数学的几乎所有分支：代数几何中，格罗滕迪克以层和概形重写了整个学科的基础；同伦论中，奎伦的模型范畴为同伦论提供了公理框架；数理逻辑中，拓扑斯理论不仅统一了集合论与直觉主义逻辑，还为独立于ZFC的数学基础提供了候选。在理论计算机科学中，笛卡尔闭范畴精确刻画了类型化λ-演算的语义，单子成为函数式编程中管理计算效应的核心抽象。范畴论因此不仅是数学内部统一的语言，更是数学与计算机科学、逻辑学、甚至理论物理（如拓扑量子场论）之间的桥梁。

本卷将沿着一条从基本概念到深层结构的脉络展开。我们首先建立范畴、函子与自然变换的定义，它们是范畴论的基本词汇。随后深入米田引理------这一"万物皆由关系决定"的精确数学陈述，它揭示了任何对象的信息完全编码在它与世界的交互模式中。接着，我们展开泛性质与伴随函子的理论：伽罗瓦连接、自由构造、极限与余极限在伴随的框架下获得统一处理。最后，我们攀至范畴论的珠穆朗玛峰------拓扑斯理论，一窥它如何将几何直觉、逻辑运算与集合论统一在一个抽象的范畴结构中，甚至为整个数学提供一种不同于集合论的新基础。

第二十八章范畴、函子与自然变换

28.1 范畴的定义与公理

"范畴"这一概念抽象自数学中反复出现的结构化模式：我们有某些特定类型的数学对象，以及这些对象之间保持结构的映射。例如：

集合与函数
群与群同态
向量空间与线性映射
拓扑空间与连续映射
偏序集与保序映射
逻辑公式与推演关系

每一个这种"对象+映射"的组合都构成一个范畴。范畴论的公理正是要抓住它们的共同骨架，将"结构"本身形式化为数学对象。这一公理化过程类似于群论：群论不再关心群的单个元素是什么，而是关心群运算满足的性质；范畴论则不再关心一个数学对象内部的元素，而是关心对象之间的态射及其合成律。

定义 28.1.1（范畴） 一个范畴 C \mathcal{C} C 由以下数据构成：

(C1) 对象 ：一个类 Ob ⁡ ( C ) \operatorname{Ob}(\mathcal{C}) Ob(C)，其元素称为对象，通常记作 A , B , C , ... A, B, C, \dots A,B,C,...。对象可以形成真类（如所有集合），而不仅限于集合。这一设定确保了Set这样的"大范畴"也能被范畴论的框架所容纳。当我们只处理小范畴（对象类为集合）时，会有额外的方便性质（如函子范畴的局部小性），但泛性质的一般理论必须涵盖大范畴。

(C2) 态射 ：对每一对对象 A , B A, B A,B，有一个集合 Hom ⁡ C ( A , B ) \operatorname{Hom}{\mathcal{C}}(A, B) HomC(A,B)（也记为 C ( A , B ) \mathcal{C}(A, B) C(A,B)），其元素称为从 A A A 到 B B B 的态射（或箭头），记作 f : A → B f: A \to B f:A→B。我们要求不同对之间的态射集互不相交------即若 ( A , B ) ≠ ( A ′ , B ′ ) (A, B) \neq (A', B') (A,B)=(A′,B′)，则 Hom ⁡ C ( A , B ) ∩ Hom ⁡ C ( A ′ , B ′ ) = ∅ \operatorname{Hom}{\mathcal{C}}(A, B) \cap \operatorname{Hom}_{\mathcal{C}}(A', B') = \varnothing HomC(A,B)∩HomC(A′,B′)=∅。这一技术条件保证了每条箭头都有唯一确定的定义域和陪域，在范畴论的日常使用中通常被默许而无需显式验证。

(C3) 合成 ：对每三个对象 A , B , C A, B, C A,B,C，有一个合成映射

∘ : Hom ⁡ C ( B , C ) × Hom ⁡ C ( A , B ) → Hom ⁡ C ( A , C ) \circ: \operatorname{Hom}{\mathcal{C}}(B, C) \times \operatorname{Hom}{\mathcal{C}}(A, B) \to \operatorname{Hom}_{\mathcal{C}}(A, C) ∘:HomC(B,C)×HomC(A,B)→HomC(A,C)

将 ( g , f ) (g, f) (g,f) 映为 g ∘ f g \circ f g∘f（常写作 g f gf gf）。直观上，若 f f f 是从 A A A 到 B B B 的路径， g g g 是从 B B B 到 C C C 的路径，则 g ∘ f g \circ f g∘f 是先走 f f f 再走 g g g 得到的从 A A A 到 C C C 的路径。合成是范畴结构的心脏：它捕捉了过程的序列性。

(C4) 单位态射 ：对每个对象 A A A，有一个态射 id ⁡ A : A → A \operatorname{id}_A: A \to A idA:A→A，称为单位态射（或恒等态射），表示"不动的路径"。

这些数据必须满足以下两条公理：

(A1) 结合公理 ：对所有 f : A → B f: A \to B f:A→B， g : B → C g: B \to C g:B→C， h : C → D h: C \to D h:C→D，有

h ∘ ( g ∘ f ) = ( h ∘ g ) ∘ f . h \circ (g \circ f) = (h \circ g) \circ f. h∘(g∘f)=(h∘g)∘f.

这意味着路径的合成与加括号的方式无关，可以无歧义地写作 h ∘ g ∘ f h \circ g \circ f h∘g∘f。这是任何合理的"过程复合"都应具备的性质。

(A2) 单位公理 ：对所有 f : A → B f: A \to B f:A→B，有

f ∘ id ⁡ A = f = id ⁡ B ∘ f . f \circ \operatorname{id}_A = f = \operatorname{id}_B \circ f. f∘idA=f=idB∘f.

恒等态射在合成中扮演中性角色，就像群中的单位元或数字中的1。

这四条公理------对象、态射、合成、单位，加上结合律和单位律------就是范畴的全部要求。任何数学结构，只要能够指定对象、态射、合成与单位，并验证这两条公理，就构成一个范畴。这组公理的简洁性令人震惊：它们仅涉及"对象""箭头""箭头的复合"这三个原始概念以及两条等式，却足以展开整个抽象理论的宏伟大厦。这是数学中"结构"概念的最纯粹蒸馏，与群、环、域的公理一样简单，但其统摄力远超这些经典代数结构。

例子：范畴的实例遍布整个数学版图，它们构成了范畴论的经验根基。

Set：对象是所有集合，态射是集合间的函数，合成是函数的通常复合，单位是恒等函数。由于所有集合形成真类，Set是大范畴而非小范畴。Set是范畴论中最基本的"具体范畴"，许多其他范畴通过附加结构而得到（如群、拓扑空间），再通过遗忘函子与Set相连。
FinSet：对象是所有有限集合，态射是它们之间的函数。虽然有限集合的全体仍为真类，但可限制在某一固定无限集的遗传有限子集上得到一个本质上足够丰富的小范畴等价类。
Grp ：对象是所有群，态射是群同态。群同态的复合仍是群同态，恒等映射是群同构中的特例，因此公理全部满足。类似地，Ab （阿贝尔群范畴）、Ring （环范畴）、Mod R _R R （ R R R-模范畴）等代数范畴都是范畴论的标准例子。
Vec K _K K ：对象是域 K K K 上的向量空间，态射是线性映射。这是同调代数与表示论的基本工作范畴。
Top：对象是拓扑空间，态射是连续映射。连续映射的复合仍是连续的，恒等映射连续。
P ( X ) \mathcal{P}(X) P(X) 看作范畴 ：固定集合 X X X，对象是 X X X 的所有子集。若 A ⊆ B A \subseteq B A⊆B，则定义 Hom ⁡ ( A , B ) \operatorname{Hom}(A, B) Hom(A,B) 包含唯一态射 ⊆ A , B \subseteq_{A,B} ⊆A,B；否则 Hom ⁡ ( A , B ) = ∅ \operatorname{Hom}(A, B) = \varnothing Hom(A,B)=∅。合成由包含关系的传递性给出：若 A ⊆ B ⊆ C A \subseteq B \subseteq C A⊆B⊆C，则唯一态射的合成就是唯一态射 A → C A \to C A→C。单位态射由自反性 A ⊆ A A \subseteq A A⊆A 给出。这是一个小范畴，因为 X X X 确定后其子集个数是集合。这一构造表明偏序集可一致地视为范畴，且每个Hom集至多有一个元素。
幺半群作为单对象范畴 ：设 ( M , ⋅ , e ) (M, \cdot, e) (M,⋅,e) 是幺半群。构造只有一个对象的范畴 B M \mathcal{B}M BM，其唯一对象记作 ∗ * ∗，态射集 Hom ⁡ ( ∗ , ∗ ) = M \operatorname{Hom}(*, *) = M Hom(∗,∗)=M，合成由乘法 g ∘ f = g ⋅ f g \circ f = g \cdot f g∘f=g⋅f 给出，单位态射是 e e e。结合公理由乘法的结合律保证，单位公理由 e e e 的单位性保证。反过来，任何只有一个对象的范畴的态射集合在该范畴的合成下自然构成一个幺半群。这揭示了幺半群与范畴的深刻等价：幺半群就是单对象范畴。进一步，群可刻画为所有态射都是同构的单对象范畴------即群胚范畴（groupoid）的特例。
偏序集作为范畴 ：设 ( P , ≤ ) (P, \le) (P,≤) 是偏序集。定义对象为 P P P 的元素，当 x ≤ y x \le y x≤y 时存在唯一箭头 x → y x \to y x→y，否则无箭头。传递性给出合成，自反性给出单位。因此偏序集就是每个Hom集至多有一个元素的范畴------称为薄范畴（thin category）。偏序集范畴对偶于等价关系，且逻辑蕴含关系也是薄范畴的一个实例。
群胚（Groupoid）：所有态射均为同构的范畴称为群胚。基本群胚是拓扑空间上所有路径的同伦类构成的群胚，它是代数拓扑的核心对象。

由此可见范畴的统一力量：幺半群、偏序集、群、拓扑空间、向量空间------这些看似迥异的数学实体，在范畴论的框架下都被吸纳为同一概念的特例。代数、序、几何、逻辑在此合流。

大小问题 ：在范畴论的公理体系中，大小区分至关重要。如果 Ob ⁡ ( C ) \operatorname{Ob}(\mathcal{C}) Ob(C) 是一个集合且每个Hom集也是集合，则称 C \mathcal{C} C 为小范畴 ；否则称为大范畴 。Set不是小范畴，因为所有集合的全体（根据正则公理和替换公理）不能构成集合------这是罗素悖论对集合论的限制。多数日常范畴（Grp、Top、Vec等）均为大范畴但局部小（即每个Hom集是集合）。大小区分在构造函子范畴和陈述伴随函子定理时不可回避：若 C \mathcal{C} C 不是小范畴，则 $C , Set$ $\\mathcal{C}, \\text{Set}$ $C,Set$ 可能不再是局部小，而这会妨碍米田嵌入的性质。技术上，这些问题通常采用Grothendieck宇宙公设处理：选定一个宇宙 U \mathcal{U} U，称 U \mathcal{U} U 内元素为"小集合"，则相对于 U \mathcal{U} U 的所有小集合构成范畴 Set U _\mathcal{U} U，这是一个关于更大宇宙的"局部小"范畴。这种层层嵌套的宇宙方案保证了范畴论的基础严格性。在本文中，如无特别声明，我们假设所有范畴为局部小。

28.2 基本范畴论概念：同构、始对象与终对象

范畴论中，我们通常不在对象层面谈论"相等"，而是用同构来刻画"本质相同"。这一原则被称为范畴论的结构主义：对象的同一性不是由它在集合论中的具体实现决定，而是由它在态射网络中的位置决定。

定义 28.2.1（同构） 态射 f : A → B f: A \to B f:A→B 称为同构，若存在 g : B → A g: B \to A g:B→A 使得 g ∘ f = id ⁡ A g \circ f = \operatorname{id}_A g∘f=idA 且 f ∘ g = id ⁡ B f \circ g = \operatorname{id}_B f∘g=idB。此时称 g g g 为 f f f 的逆，并称 A A A 和 B B B 同构，记作 A ≅ B A \cong B A≅B。若 A A A 和 B B B 同构，则它们在范畴论意义上"完全等价"，任何仅涉及态射和合成的范畴性质无法区分它们。

在Set中，同构就是双射；在Grp中是群同构；在Top中是同胚；在单对象范畴（幺半群）中，同构就是可逆元。范畴论将所有这些特定数学分支中的"同构"概念统一为一个纯粹由箭头与合成表述的概念------不依赖元素、不依赖内部结构，只依赖态射的存在性以及合成等式。这是数学中"等价"概念的终极抽象。

命题：同构的逆若存在则唯一。事实上，若 g g g 和 g ′ g' g′ 都是 f f f 的逆，则 g = g ∘ id ⁡ B = g ∘ ( f ∘ g ′ ) = ( g ∘ f ) ∘ g ′ = id ⁡ A ∘ g ′ = g ′ g = g \circ \operatorname{id}_B = g \circ (f \circ g') = (g \circ f) \circ g' = \operatorname{id}_A \circ g' = g' g=g∘idB=g∘(f∘g′)=(g∘f)∘g′=idA∘g′=g′。因此我们可以无歧义地谈论" f f f 的逆"，记作 f − 1 f^{-1} f−1。

定义 28.2.2（始对象与终对象） 在范畴 C \mathcal{C} C 中：

对象 I I I 称为始对象 ，若对每个对象 A A A， Hom ⁡ ( I , A ) \operatorname{Hom}(I, A) Hom(I,A) 恰有一个态射。直观上，从始对象到任何对象有且仅有一条箭头。
对象 T T T 称为终对象 ，若对每个对象 A A A， Hom ⁡ ( A , T ) \operatorname{Hom}(A, T) Hom(A,T) 恰有一个态射。直观上，从任何对象到终对象有且仅有一条箭头。
若一个对象同时是始对象和终对象，则称为零对象。

在Set中，空集 ∅ \varnothing ∅ 是始对象：对任何集合 X X X，存在唯一的空函数 ∅ → X \varnothing \to X ∅→X。任何单元素集 { ∗ } \{*\} {∗} 是终对象：对任何集合 X X X，存在唯一的常值函数 x ↦ ∗ x \mapsto * x↦∗。空集与单元素集不同构（除非讨论退化情况），因此Set没有零对象。

在Grp中，平凡群 { e } \{e\} {e} 是零对象：从平凡群到任何群存在唯一同态（将单位元映为单位元），从任何群到平凡群也存在唯一同态（将所有元素映为单位元）。在Vec K _K K中，零向量空间是零对象。在偏序集作为范畴时，始对象即最小元（若存在），终对象即最大元。

定理 28.2.3 始对象若存在必唯一至同构，终对象亦然。

证明：设 I , I ′ I, I' I,I′ 均为始对象。由始对象的定义，存在唯一态射 f : I → I ′ f: I \to I' f:I→I′（因为 I I I 是始对象，到任何对象有唯一态射）和唯一态射 g : I ′ → I g: I' \to I g:I′→I（因为 I ′ I' I′ 是始对象）。考虑合成 g ∘ f : I → I g \circ f: I \to I g∘f:I→I。由 I I I 为始对象， Hom ⁡ ( I , I ) \operatorname{Hom}(I, I) Hom(I,I) 恰有一个态射。而 id ⁡ I \operatorname{id}_I idI 已经是 I → I I \to I I→I 的一个态射，故 g ∘ f = id ⁡ I g \circ f = \operatorname{id}I g∘f=idI。同理， f ∘ g : I ′ → I ′ f \circ g: I' \to I' f∘g:I′→I′ 是 Hom ⁡ ( I ′ , I ′ ) \operatorname{Hom}(I', I') Hom(I′,I′) 的唯一态射，必等于 id ⁡ I ′ \operatorname{id}{I'} idI′。因此 f f f 是同构，其逆为 g g g。∎

这一论证展示了范畴论推理的典型风格：证明完全基于态射的存在性与唯一性，不依赖任何关于对象内部结构的假设。这种"无点"（point-free）的论证方式是范畴论方法论的标志。定理中的唯一性不仅指同构的存在，而且该同构还是唯一的------任何两个始对象之间的同构由泛性质强制确定。这种"唯一至唯一的同构"现象贯穿整个范畴论，是泛性质定义对象的基本模式。

定义 28.2.4（单态射与满态射） 在某些范畴中，我们无法直接谈论"元素"，但可以用消去律来刻画单射和满射的范畴对等物。

态射 f : A → B f: A \to B f:A→B 称为单态射 （monomorphism），若对任意一对态射 g , h : C → A g, h: C \to A g,h:C→A， f ∘ g = f ∘ h f \circ g = f \circ h f∘g=f∘h 蕴含 g = h g = h g=h。即 f f f 可以左消去。在Set中，单态射恰好是单射。
态射 f : A → B f: A \to B f:A→B 称为满态射 （epimorphism），若对任意 g , h : B → C g, h: B \to C g,h:B→C， g ∘ f = h ∘ f g \circ f = h \circ f g∘f=h∘f 蕴含 g = h g = h g=h。即 f f f 可以右消去。在Set中，满态射恰好是满射。

然而在其他范畴中，单态射和满态射可能与集合论直觉有所偏离。例如，在拓扑空间范畴Top中，满态射未必是满射（存在连续满射不是满态射的病理反例）；在环范畴中，包含映射 Z ↪ Q \mathbb{Z} \hookrightarrow \mathbb{Q} Z↪Q 既是单态射又是满态射，但不是同构（因为它不是满射，但却是环范畴中的满态射------这是环论中"满同态未必满"的经典事实）。因此，单态射和满态射是比单射和满射更精细的范畴不变量，它们仅依赖合成消去律，是纯粹范畴论的概念。

平衡范畴 ：一个范畴称为平衡的，如果任意既是单态射又是满态射的态射必为同构。Set是平衡的，Grp是平衡的（群论中的"单同态且满同态则为同构"），但Top不是平衡的（连续双射未必是同胚），Ring不是平衡的（如上 Z → Q \mathbb{Z} \to \mathbb{Q} Z→Q 之例）。

28.3 对偶范畴与对偶原理

定义 28.3.1（对偶范畴） 对范畴 C \mathcal{C} C，定义其对偶范畴 C op \mathcal{C}^{\text{op}} Cop：

Ob ⁡ ( C op ) = Ob ⁡ ( C ) \operatorname{Ob}(\mathcal{C}^{\text{op}}) = \operatorname{Ob}(\mathcal{C}) Ob(Cop)=Ob(C)（对象保持不变）；
Hom ⁡ C op ( A , B ) = Hom ⁡ C ( B , A ) \operatorname{Hom}{\mathcal{C}^{\text{op}}}(A, B) = \operatorname{Hom}{\mathcal{C}}(B, A) HomCop(A,B)=HomC(B,A)（箭头全部反转）；
合成 g ∘ op f g \circ_{\text{op}} f g∘opf（ f ∈ Hom ⁡ C op ( A , B ) , g ∈ Hom ⁡ C op ( B , C ) f \in \operatorname{Hom}{\mathcal{C}^{\text{op}}}(A,B), g \in \operatorname{Hom}{\mathcal{C}^{\text{op}}}(B,C) f∈HomCop(A,B),g∈HomCop(B,C)）定义为 C \mathcal{C} C 中的 f ∘ g f \circ g f∘g；
恒等态射保持不变。

C op \mathcal{C}^{\text{op}} Cop 是将 C \mathcal{C} C 中所有箭头方向反转得到的范畴。例如，Set op ^{\text{op}} op 的对象仍为集合，但态射 A → B A \to B A→B 是Set中的态射 B → A B \to A B→A（即通常的函数方向反转）。这种反转绝不是平凡的------Set op ^{\text{op}} op 与Set具有截然不同的范畴性质（例如，在Set op ^{\text{op}} op中，空集成为终对象，单元素集成为始对象）。

对偶原理 ：任何仅使用范畴论语言陈述的命题 P P P，如果在任意范畴 C \mathcal{C} C 中成立，那么将其中的所有箭头方向反转（始对象与终对象互换、单态射与满态射互换、积与余积互换等）得到的对偶命题 P op P^{\text{op}} Pop 在 C op \mathcal{C}^{\text{op}} Cop 中也成立，从而在任意范畴中成立。这是因为 P op P^{\text{op}} Pop 在 C \mathcal{C} C 中的有效性等价于 P P P 在 C op \mathcal{C}^{\text{op}} Cop 中的有效性。

对偶原理极大地精简了范畴论的工作量：每一个定理都免费赠送一个对偶定理。例如，一旦证明了"始对象若存在必唯一至同构"，则"终对象若存在必唯一至同构"自动成立。一旦定义了积并证明其唯一性，对偶的余积的唯一性也自动成立。对偶性深植于范畴论的语言和思维方式中，它是范畴论优雅性的不竭源泉，也是检验一个定义或证明是否"足够范畴论"的试金石：如果某个概念的陈述在反转箭头后变得无意义或不再成立，那么它很可能依赖了非范畴论的外部信息。

28.4 函子：范畴之间的映射

数学中，当我们有了一类带结构的对象（如群），下一步总是研究保持结构的映射（如同态）。同样，有了范畴，我们就需要范畴之间的"结构保持映射"------函子。正如群同态将群的结构（乘法与单位元）从一个群传递到另一个群，函子将范畴的结构（对象、态射、合成、恒等）从一个范畴传递到另一个范畴。

定义 28.4.1（共变函子） 设 C \mathcal{C} C 和 D \mathcal{D} D 是范畴。一个共变函子 F : C → D F: \mathcal{C} \to \mathcal{D} F:C→D 由以下两部分组成：

(F1) 对象映射 ：对每个对象 A ∈ Ob ⁡ ( C ) A \in \operatorname{Ob}(\mathcal{C}) A∈Ob(C)，指定一个对象 F ( A ) ∈ Ob ⁡ ( D ) F(A) \in \operatorname{Ob}(\mathcal{D}) F(A)∈Ob(D)。

(F2) 态射映射 ：对每个态射 f : A → B f: A \to B f:A→B，指定一个态射 F ( f ) : F ( A ) → F ( B ) F(f): F(A) \to F(B) F(f):F(A)→F(B)。

这些映射必须满足两条保持律：

保持合成 ： F ( g ∘ f ) = F ( g ) ∘ F ( f ) F(g \circ f) = F(g) \circ F(f) F(g∘f)=F(g)∘F(f) 对所有可合成的 f , g f, g f,g 成立。
保持单位 ： F ( id ⁡ A ) = id ⁡ F ( A ) F(\operatorname{id}A) = \operatorname{id}{F(A)} F(idA)=idF(A) 对所有对象 A A A 成立。

如果我们将范畴看作有向图加上合成律的结构，那么函子就是"图同态"并额外尊重合成与恒等。这保证了一个范畴中的交换图在应用函子后仍为交换图，从而使得范畴论中的泛性质和构造可以在范畴之间"运输"。

反变函子 ：若 F : C op → D F: \mathcal{C}^{\text{op}} \to \mathcal{D} F:Cop→D 是一个（共变）函子，则称 F F F 为从 C \mathcal{C} C 到 D \mathcal{D} D 的反变函子 。具体而言，反变函子将 C \mathcal{C} C 中的态射 f : A → B f: A \to B f:A→B 映为 D \mathcal{D} D 中的 F ( f ) : F ( B ) → F ( A ) F(f): F(B) \to F(A) F(f):F(B)→F(A)，并满足 F ( g ∘ f ) = F ( f ) ∘ F ( g ) F(g \circ f) = F(f) \circ F(g) F(g∘f)=F(f)∘F(g)（注意顺序的反转）。反变函子同样保持单位。在没有歧义时，"函子"通常指共变函子；反变函子需要显式指出。

例子：函子在数学中无处不在，许多经典构造本质上是函子。

遗忘函子 ： U : Grp → Set U: \text{Grp} \to \text{Set} U:Grp→Set 将每个群映为其底层集合，每个群同态映为其底层函数。这个函子"遗忘"了群结构（乘法与单位元的信息），只保留集合和映射的数据。类似地有遗忘函子 U : Vec K → Set U: \text{Vec}_K \to \text{Set} U:VecK→Set， U : Top → Set U: \text{Top} \to \text{Set} U:Top→Set， U : Ring → Ab U: \text{Ring} \to \text{Ab} U:Ring→Ab（遗忘乘法）等。遗忘函子通常是右伴随（见第三十章）。
自由函子 ： F : Set → Grp F: \text{Set} \to \text{Grp} F:Set→Grp 将集合 X X X 映为 X X X 生成的自由群 F ( X ) F(X) F(X)（其元素是 X X X 中元素的有限字及其逆），将函数 f : X → Y f: X \to Y f:X→Y 映为诱导的同态 F ( f ) : F ( X ) → F ( Y ) F(f): F(X) \to F(Y) F(f):F(X)→F(Y)（在生成元上的作用由 f f f 确定）。自由函子是"以最经济的方式添加代数结构"的典范，通常是遗忘函子的左伴随。类似地有自由模、自由环、自由阿贝尔群等。
幂集反变函子 ： P : Set op → Set \mathcal{P}: \text{Set}^{\text{op}} \to \text{Set} P:Setop→Set 将集合 X X X 映为其幂集 P ( X ) \mathcal{P}(X) P(X)，将函数 f : X → Y f: X \to Y f:X→Y 映为逆像映射 f − 1 : P ( Y ) → P ( X ) f^{-1}: \mathcal{P}(Y) \to \mathcal{P}(X) f−1:P(Y)→P(X)，定义为 f − 1 ( B ) = { x ∈ X ∣ f ( x ) ∈ B } f^{-1}(B) = \{x \in X \mid f(x) \in B\} f−1(B)={x∈X∣f(x)∈B}。注意方向的反转： f : X → Y f: X \to Y f:X→Y 被映为 f − 1 : P ( Y ) → P ( X ) f^{-1}: \mathcal{P}(Y) \to \mathcal{P}(X) f−1:P(Y)→P(X)。这是反变函子的经典例子。若取直接像映射 ∃ f : P ( X ) → P ( Y ) \exists_f: \mathcal{P}(X) \to \mathcal{P}(Y) ∃f:P(X)→P(Y)（ ∃ f ( A ) = { f ( a ) ∣ a ∈ A } \exists_f(A) = \{f(a) \mid a \in A\} ∃f(A)={f(a)∣a∈A}），则构成共变函子 P ∃ : Set → Set \mathcal{P}_{\exists}: \text{Set} \to \text{Set} P∃:Set→Set。这两种幂集函子各有其用，反变版本在几何（层论）中更为核心，因为它将映射的方向反转为子集（"性质"）的方向。
基本群函子 ： π 1 : Top ∗ → Grp \pi_1: \text{Top}* \to \text{Grp} π1:Top∗→Grp，将带基点的拓扑空间 ( X , x 0 ) (X, x_0) (X,x0) 映为其基本群 π 1 ( X , x 0 ) \pi_1(X, x_0) π1(X,x0)（基点处环路的同伦类构成），将保持基点的连续映射 f : ( X , x 0 ) → ( Y , y 0 ) f: (X, x_0) \to (Y, y_0) f:(X,x0)→(Y,y0) 映为诱导的同态 f ∗ : π 1 ( X , x 0 ) → π 1 ( Y , y 0 ) f*: \pi_1(X, x_0) \to \pi_1(Y, y_0) f∗:π1(X,x0)→π1(Y,y0)。这一函子是代数拓扑的核心构造，它将拓扑空间的"一维孔洞"信息转化为代数对象。类似地有高维同伦群函子以及同调函子 H n : Top → Ab H_n: \text{Top} \to \text{Ab} Hn:Top→Ab。
Hom函子 ：固定范畴 C \mathcal{C} C 和对象 A A A，定义共变Hom函子 H A = Hom ⁡ C ( A , − ) : C → Set H^A = \operatorname{Hom}{\mathcal{C}}(A, -): \mathcal{C} \to \text{Set} HA=HomC(A,−):C→Set 将 B B B 映为 Hom ⁡ ( A , B ) \operatorname{Hom}(A,B) Hom(A,B)，将 f : B → C f: B \to C f:B→C 映为后合成 f ∗ : Hom ⁡ ( A , B ) → Hom ⁡ ( A , C ) f*: \operatorname{Hom}(A,B) \to \operatorname{Hom}(A,C) f∗:Hom(A,B)→Hom(A,C)。其对偶是反变Hom函子 H A = Hom ⁡ C ( − , A ) : C op → Set H_A = \operatorname{Hom}_{\mathcal{C}}(-, A): \mathcal{C}^{\text{op}} \to \text{Set} HA=HomC(−,A):Cop→Set。Hom函子是将任意范畴连接到集合范畴的桥梁，是米田引理的主角。
常值函子 ：对任意范畴 C , D \mathcal{C}, \mathcal{D} C,D 及固定对象 D ∈ D D \in \mathcal{D} D∈D，定义常值函子 Δ D : C → D \Delta_D: \mathcal{C} \to \mathcal{D} ΔD:C→D，将 C \mathcal{C} C 中所有对象映为 D D D，所有态射映为 id ⁡ D \operatorname{id}_D idD。常值函子将在极限与伴随理论中起到关键作用。

定理 28.4.2 任何函子将同构映为同构。

证明：设 f : A → B f: A \to B f:A→B 是 C \mathcal{C} C 中的同构，其逆为 g : B → A g: B \to A g:B→A。则 F ( f ) ∘ F ( g ) = F ( f ∘ g ) = F ( id ⁡ B ) = id ⁡ F ( B ) F(f) \circ F(g) = F(f \circ g) = F(\operatorname{id}B) = \operatorname{id}{F(B)} F(f)∘F(g)=F(f∘g)=F(idB)=idF(B)，以及 F ( g ) ∘ F ( f ) = F ( g ∘ f ) = F ( id ⁡ A ) = id ⁡ F ( A ) F(g) \circ F(f) = F(g \circ f) = F(\operatorname{id}A) = \operatorname{id}{F(A)} F(g)∘F(f)=F(g∘f)=F(idA)=idF(A)。因此 F ( f ) F(f) F(f) 也是同构，其逆为 F ( g ) F(g) F(g)。∎

这一简单的定理蕴含了重要的方法论意义：如果我们能证明两个对象在应用某个函子后变得不同构，则原对象必不同构。代数拓扑正是利用这一原则：通过函子（如同调、同伦）将拓扑空间映射到代数对象，如果代数不变量不同，则原空间不可能同胚。这是"函子不变量"思想的精髓。

函子范畴 ：对于范畴 C , D \mathcal{C}, \mathcal{D} C,D，我们可以将所有从 C \mathcal{C} C 到 D \mathcal{D} D 的函子作为对象，将所有自然变换作为态射，构成一个函子范畴 ，记作 $C , D$ $\\mathcal{C}, \\mathcal{D}$ $C,D$ 或 D C \mathcal{D}^{\mathcal{C}} DC。函子范畴的存在性预设了 C \mathcal{C} C 是小范畴（或至少本质小），以确保自然变换的全体形成集合而非真类。函子范畴在范畴论中极其重要：它是伴随理论、米田嵌入、单子理论的发生场域，也是拓扑斯理论中预设层范畴的基本构造。例如，Set C op ^{\mathcal{C}^{\text{op}}} Cop（从 C op \mathcal{C}^{\text{op}} Cop 到 Set 的函子范畴）称为 C \mathcal{C} C 上的预设层范畴，是米田嵌入的目标范畴，也是格罗滕迪克拓扑斯的原材料。

28.5 自然变换：函子之间的态射

在数学实践中，我们经常遇到"自然"这个词：有限维向量空间与它的双重对偶"自然同构"，基本群与基本群胚的对应是"自然的"，等等。在范畴论诞生之前，这种"自然性"的精确含义始终模糊不清。艾伦伯格和麦克莱恩正是为了给"自然等价"一个严格定义，而引入了自然变换的概念。这是范畴论最具原创性的贡献之一，它使得我们能够精确区分"自然的"与"依赖于任意选择的"等同构。

定义 28.5.1（自然变换） 设 F , G : C → D F, G: \mathcal{C} \to \mathcal{D} F,G:C→D 是两个共变函子。一个从 F F F 到 G G G 的自然变换 α : F ⇒ G \alpha: F \Rightarrow G α:F⇒G 由一族 D \mathcal{D} D 中的态射组成：

{ α A : F ( A ) → G ( A ) } A ∈ Ob ⁡ ( C ) , \{\alpha_A: F(A) \to G(A)\}_{A \in \operatorname{Ob}(\mathcal{C})}, {αA:F(A)→G(A)}A∈Ob(C),

该族态射必须满足自然性条件 ：对 C \mathcal{C} C 中的每个态射 f : A → B f: A \to B f:A→B，下图在 D \mathcal{D} D 中交换：

F ( A ) → F ( f ) F ( B ) α A ↓ ↓ α B G ( A ) → G ( f ) G ( B ) \begin{array}{ccc} F(A) & \xrightarrow{F(f)} & F(B) \\ {\scriptstyle \alpha_A}\downarrow & & \downarrow{\scriptstyle \alpha_B} \\ G(A) & \xrightarrow{G(f)} & G(B) \end{array} F(A)αA↓G(A)F(f) G(f) F(B)↓αBG(B)

即等式 G ( f ) ∘ α A = α B ∘ F ( f ) G(f) \circ \alpha_A = \alpha_B \circ F(f) G(f)∘αA=αB∘F(f) 必须对所有 f : A → B f: A \to B f:A→B 成立。这个交换图称为自然性方框，它是自然变换定义的核心。

自然变换是"函子之间的同态"：它为每个对象 A A A 指定一个从 F ( A ) F(A) F(A) 到 G ( A ) G(A) G(A) 的桥接态射，并要求这些桥接与函子对态射的作用相协调。如果自然变换的每个分量 α A \alpha_A αA 都是 D \mathcal{D} D 中的同构，则称 α \alpha α 为自然同构 ，记作 F ≅ G F \cong G F≅G。自然同构标志着两个函子在范畴论意义上"完全相同"。

经典例子：有限维向量空间与其双重对偶

设 Vec K fin \text{Vec}_K^{\text{fin}} VecKfin 是域 K K K 上有限维向量空间范畴。双重对偶函子 ( − ) ∗ ∗ : Vec K fin → Vec K fin (-)^{**}: \text{Vec}_K^{\text{fin}} \to \text{Vec}_K^{\text{fin}} (−)∗∗:VecKfin→VecKfin 定义为：

对象层面： V ∗ ∗ = Hom ⁡ K ( Hom ⁡ K ( V , K ) , K ) V^{**} = \operatorname{Hom}_K(\operatorname{Hom}_K(V, K), K) V∗∗=HomK(HomK(V,K),K)，即 V V V 的对偶空间的对偶空间；
态射层面：对线性映射 T : V → W T: V \to W T:V→W，定义 T ∗ ∗ : V ∗ ∗ → W ∗ ∗ T^{**}: V^{**} \to W^{**} T∗∗:V∗∗→W∗∗ 为 ( T ∗ ∗ ( ϕ ) ) ( g ) = ϕ ( g ∘ T ) (T^{**}(\phi))(g) = \phi(g \circ T) (T∗∗(ϕ))(g)=ϕ(g∘T)，其中 ϕ ∈ V ∗ ∗ \phi \in V^{**} ϕ∈V∗∗， g ∈ W ∗ g \in W^* g∈W∗。

存在一族典范映射 η V : V → V ∗ ∗ \eta_V: V \to V^{**} ηV:V→V∗∗，定义为

η V ( v ) ( f ) = f ( v ) , v ∈ V , f ∈ V ∗ . \eta_V(v)(f) = f(v), \quad v \in V, \; f \in V^*. ηV(v)(f)=f(v),v∈V,f∈V∗.

即把向量 v v v 映到"在 v v v 处求值"的泛函。每个 η V \eta_V ηV 都是线性的。现在验证自然性：对任意 T : V → W T: V \to W T:V→W，需要验证 η W ∘ T = T ∗ ∗ ∘ η V \eta_W \circ T = T^{**} \circ \eta_V ηW∘T=T∗∗∘ηV。任取 v ∈ V v \in V v∈V 和 g ∈ W ∗ g \in W^* g∈W∗：

( T ∗ ∗ ( η V ( v ) ) ) ( g ) = η V ( v ) ( g ∘ T ) = ( g ∘ T ) ( v ) = g ( T ( v ) ) = η W ( T ( v ) ) ( g ) , (T^{**}(\eta_V(v)))(g) = \eta_V(v)(g \circ T) = (g \circ T)(v) = g(T(v)) = \eta_W(T(v))(g), (T∗∗(ηV(v)))(g)=ηV(v)(g∘T)=(g∘T)(v)=g(T(v))=ηW(T(v))(g),

因此 T ∗ ∗ ∘ η V = η W ∘ T T^{**} \circ \eta_V = \eta_W \circ T T∗∗∘ηV=ηW∘T，自然性方框交换。在有限维情形，每个 η V \eta_V ηV 都是同构（因为 dim ⁡ V = dim ⁡ V ∗ = dim ⁡ V ∗ ∗ \dim V = \dim V^* = \dim V^{**} dimV=dimV∗=dimV∗∗，且 η V \eta_V ηV 是单射，故为同构）。因此 η : Id ⁡ ⇒ ( − ) ∗ ∗ \eta: \operatorname{Id} \Rightarrow (-)^{**} η:Id⇒(−)∗∗ 是自然同构。我们终于精准地说出了" V V V 与 V ∗ ∗ V^{**} V∗∗ 自然同构"的完整含义。

对照： V V V 与 V ∗ V^* V∗ 没有自然同构

虽然任何有限维向量空间都与它的对偶空间 V ∗ V^* V∗ 同构（需要选取一组基来构造同构），但不存在从恒等函子 Id ⁡ \operatorname{Id} Id 到对偶函子 ( − ) ∗ (-)^* (−)∗ 的自然同构。事实上， ( − ) ∗ (-)^* (−)∗ 是反变函子，因此无法谈论从 Id ⁡ \operatorname{Id} Id（共变）到 ( − ) ∗ (-)^* (−)∗（反变）的自然变换，除非先反转范畴。但即使在允许反变自然变换的意义下，对偶同构依赖基的选取，不同的基给出不同的同构，且这些同构无法满足自然性条件（可以严格证明，任何自然变换 Id ⁡ ⇒ ( − ) ∗ \operatorname{Id} \Rightarrow (-)^* Id⇒(−)∗ 必须为零）。范畴论由此精确区分了"自然"与"非自然"：向量空间与双重对偶的自然同构源自一个不依赖任何基选择的典范构造，而向量空间与对偶的同构则不可避免地依赖任意选择。

自然变换的合成：自然变换可以在两个方向上复合，形成函子范畴的二维结构。

垂直合成 ：若 α : F ⇒ G \alpha: F \Rightarrow G α:F⇒G 和 β : G ⇒ H \beta: G \Rightarrow H β:G⇒H 是自然变换，则逐点定义 ( β ∘ α ) A = β A ∘ α A (\beta \circ \alpha)_A = \beta_A \circ \alpha_A (β∘α)A=βA∘αA，得到 β ∘ α : F ⇒ H \beta \circ \alpha: F \Rightarrow H β∘α:F⇒H。这类似于函数的复合。
水平合成 ：若 α : F ⇒ G \alpha: F \Rightarrow G α:F⇒G（其中 F , G : C → D F, G: \mathcal{C} \to \mathcal{D} F,G:C→D）和 β : H ⇒ K \beta: H \Rightarrow K β:H⇒K（其中 H , K : D → E H, K: \mathcal{D} \to \mathcal{E} H,K:D→E），则定义水平合成 β ∗ α : H ∘ F ⇒ K ∘ G \beta * \alpha: H \circ F \Rightarrow K \circ G β∗α:H∘F⇒K∘G。其分量有两种等价表达：
( β ∗ α ) A = β G ( A ) ∘ H ( α A ) = K ( α A ) ∘ β F ( A ) . (\beta * \alpha)A = \beta{G(A)} \circ H(\alpha_A) = K(\alpha_A) \circ \beta_{F(A)}. (β∗α)A=βG(A)∘H(αA)=K(αA)∘βF(A).
两者的相等由 β \beta β 对态射 α A : F ( A ) → G ( A ) \alpha_A: F(A) \to G(A) αA:F(A)→G(A) 的自然性保证。

垂直合成与水平合成满足中四互换律 ：给定自然变换的配置

F ⇒ α G ⇒ β H γ ⇓ δ ⇓ F ′ ⇒ α ′ G ′ ⇒ β ′ H ′ \begin{array}{ccc} F & \xRightarrow{\alpha} & G & \xRightarrow{\beta} & H \\ & & {\scriptstyle \gamma}\Downarrow & & {\scriptstyle \delta}\Downarrow \\ F' & \xRightarrow{\alpha'} & G' & \xRightarrow{\beta'} & H' \end{array} FF′α α′ Gγ⇓G′β β′ Hδ⇓H′

有 ( β ′ ∘ α ′ ) ∗ ( β ∘ α ) = ( β ′ ∗ β ) ∘ ( α ′ ∗ α ) (\beta' \circ \alpha') * (\beta \circ \alpha) = (\beta' * \beta) \circ (\alpha' * \alpha) (β′∘α′)∗(β∘α)=(β′∗β)∘(α′∗α)。这一等式赋予函子范畴一个丰富的二维结构，使其成为2-范畴（见31.1节）。

第二十九章米田引理与泛性质

29.1 可表函子与Hom函子

函子提供了从范畴到集合范畴的"外部视角"，其中最基本的就是Hom函子。一个自然的问题是：哪些函子可以由范畴内部的对象"表示"出来？这一概念将对象与函子紧密联系起来，是米田引理的直接动机。

定义 29.1.1（Hom函子） 设 C \mathcal{C} C 为局部小范畴， A ∈ C A \in \mathcal{C} A∈C。定义：

共变Hom函子 ： Hom ⁡ C ( A , − ) : C → Set \operatorname{Hom}{\mathcal{C}}(A, -): \mathcal{C} \to \text{Set} HomC(A,−):C→Set，将对象 B B B 映为态射集 Hom ⁡ C ( A , B ) \operatorname{Hom}{\mathcal{C}}(A, B) HomC(A,B)，将态射 f : B → C f: B \to C f:B→C 映为后合成映射 f ∗ = f ∘ ( − ) : Hom ⁡ ( A , B ) → Hom ⁡ ( A , C ) f_* = f \circ (-): \operatorname{Hom}(A, B) \to \operatorname{Hom}(A, C) f∗=f∘(−):Hom(A,B)→Hom(A,C)。
反变Hom函子 ： Hom ⁡ C ( − , A ) : C op → Set \operatorname{Hom}{\mathcal{C}}(-, A): \mathcal{C}^{\text{op}} \to \text{Set} HomC(−,A):Cop→Set，将对象 B B B 映为 Hom ⁡ C ( B , A ) \operatorname{Hom}{\mathcal{C}}(B, A) HomC(B,A)，将态射 f : B → C f: B \to C f:B→C（在 C op \mathcal{C}^{\text{op}} Cop 中对应 f op : C → B f^{\text{op}}: C \to B fop:C→B）映为前合成映射 f ∗ = ( − ) ∘ f : Hom ⁡ ( C , A ) → Hom ⁡ ( B , A ) f^* = (-) \circ f: \operatorname{Hom}(C, A) \to \operatorname{Hom}(B, A) f∗=(−)∘f:Hom(C,A)→Hom(B,A)。

Hom函子是将任意范畴"线性化"为集合范畴的基本工具。它们将抽象的对象和态射转化为具体的集合和函数，使得我们可以用集合论的工具研究范畴。

定义 29.1.2（可表函子） 一个函子 F : C → Set F: \mathcal{C} \to \text{Set} F:C→Set 称为可表的 ，若存在对象 A ∈ C A \in \mathcal{C} A∈C 以及自然同构

α : Hom ⁡ C ( A , − ) → ≅ F . \alpha: \operatorname{Hom}_{\mathcal{C}}(A, -) \xrightarrow{\cong} F. α:HomC(A,−)≅ F.

此时称二元组 ( A , α ) (A, \alpha) (A,α) 为 F F F 的表示，称 A A A 为表示对象 。类似地，一个反变函子 F : C op → Set F: \mathcal{C}^{\text{op}} \to \text{Set} F:Cop→Set 可表，若它自然同构于 Hom ⁡ C ( − , A ) \operatorname{Hom}_{\mathcal{C}}(-, A) HomC(−,A)。

可表函子的概念统一了大量数学构造：

积：固定 X , Y ∈ C X, Y \in \mathcal{C} X,Y∈C，定义函子 F X , Y ( B ) = Hom ⁡ ( B , X ) × Hom ⁡ ( B , Y ) F_{X,Y}(B) = \operatorname{Hom}(B, X) \times \operatorname{Hom}(B, Y) FX,Y(B)=Hom(B,X)×Hom(B,Y)（配对态射集）。若该函子可表，表示对象正是 X X X 与 Y Y Y 的积 X × Y X \times Y X×Y（配备投影），自然同构为 Hom ⁡ ( B , X × Y ) ≅ Hom ⁡ ( B , X ) × Hom ⁡ ( B , Y ) \operatorname{Hom}(B, X \times Y) \cong \operatorname{Hom}(B, X) \times \operatorname{Hom}(B, Y) Hom(B,X×Y)≅Hom(B,X)×Hom(B,Y)（由泛性质给出）。
商集：在Set中，设 X X X 为集合， ∼ \sim ∼ 为等价关系。定义函子 Q : Set → Set Q: \text{Set} \to \text{Set} Q:Set→Set 为 Q ( B ) = { f : X → B ∣ f 在 ∼ 下不变 } Q(B) = \{f: X \to B \mid f \text{ 在 } \sim \text{ 下不变}\} Q(B)={f:X→B∣f 在 ∼ 下不变}。该函子可表当且仅当商集 X / ∼ X/{\sim} X/∼ 存在（在Set中总是存在），表示对象即为商集。
自由群 ：固定集合 S S S，考虑函子 F S : Grp → Set F_S: \text{Grp} \to \text{Set} FS:Grp→Set 为 F S ( G ) = Hom ⁡ Set ( S , U ( G ) ) F_S(G) = \operatorname{Hom}{\text{Set}}(S, U(G)) FS(G)=HomSet(S,U(G))，其中 U U U 是遗忘函子。此函子可表当且仅当自由群存在（存在性由伴随函子定理保证），表示对象即为 S S S 生成的自由群，自然同构为自由群的泛性质： Hom ⁡ Grp ( F ( S ) , G ) ≅ Hom ⁡ Set ( S , U ( G ) ) \operatorname{Hom}{\text{Grp}}(F(S), G) \cong \operatorname{Hom}_{\text{Set}}(S, U(G)) HomGrp(F(S),G)≅HomSet(S,U(G))。

可表性思想的核心是：一个函子的全部信息可以"压缩"到一个单一对象中。这个对象通过它的Hom集与函子值建立一一对应，从而"表示"了整个函子。米田引理将揭示这一思想的深度和广度。

29.2 米田引理：万物皆是关系

定理 29.2.1（米田引理） 设 C \mathcal{C} C 是局部小范畴， F : C → Set F: \mathcal{C} \to \text{Set} F:C→Set 是任意函子， A ∈ Ob ⁡ ( C ) A \in \operatorname{Ob}(\mathcal{C}) A∈Ob(C)。则存在双射（即集合的同构）

Nat ( Hom ⁡ C ( A , − ) , F ) ≅ F ( A ) , \text{Nat}(\operatorname{Hom}_{\mathcal{C}}(A, -), \; F) \cong F(A), Nat(HomC(A,−),F)≅F(A),

其中左侧表示从Hom函子 Hom ⁡ C ( A , − ) \operatorname{Hom}_{\mathcal{C}}(A, -) HomC(A,−) 到 F F F 的所有自然变换的集合 。而且，这个双射对 A A A 和 F F F 是自然的（即构成 A A A 和 F F F 的函子之间的自然同构）。

证明：我们将构造一对互逆的映射，并在过程中揭示为什么自然变换完全由恒等态射的像决定。

从自然变换到元素（ Φ \Phi Φ 方向）

给定一个自然变换 α : Hom ⁡ C ( A , − ) ⇒ F \alpha: \operatorname{Hom}_{\mathcal{C}}(A, -) \Rightarrow F α:HomC(A,−)⇒F，我们定义

u α : = α A ( id ⁡ A ) ∈ F ( A ) . u_\alpha := \alpha_A(\operatorname{id}_A) \in F(A). uα:=αA(idA)∈F(A).

即取 α \alpha α 在对象 A A A 处的分量，将其作用于 Hom ⁡ ( A , A ) \operatorname{Hom}(A, A) Hom(A,A) 中的特殊元素 id ⁡ A \operatorname{id}_A idA，得到 F ( A ) F(A) F(A) 的一个元素。这一步的精妙之处在于： id ⁡ A \operatorname{id}_A idA 是Hom集中唯一"典范"的元素（不依赖任何选择），因此从中可以提取出 F ( A ) F(A) F(A) 的一个典范元素。

从元素到自然变换（ Ψ \Psi Ψ 方向）

反方向更为深刻。给定任意元素 x ∈ F ( A ) x \in F(A) x∈F(A)，我们需要构造一个自然变换 x ˉ : Hom ⁡ C ( A , − ) ⇒ F \bar{x}: \operatorname{Hom}_{\mathcal{C}}(A, -) \Rightarrow F xˉ:HomC(A,−)⇒F。对每个对象 B ∈ C B \in \mathcal{C} B∈C，定义分量

x ˉ B : Hom ⁡ ( A , B ) → F ( B ) , x ˉ B ( f ) : = F ( f ) ( x ) , 对 f : A → B . \bar{x}_B: \operatorname{Hom}(A, B) \to F(B), \quad \bar{x}_B(f) := F(f)(x), \quad \text{对 } f: A \to B. xˉB:Hom(A,B)→F(B),xˉB(f):=F(f)(x),对 f:A→B.

直观解释：将态射 f f f 映射到函子 F F F 将 f f f 作用于预先选定的"种子" x x x 所得到的结果。这一定义完全由 x x x 和函子 F F F 的作用决定。

现在验证 x ˉ \bar{x} xˉ 确实是一个自然变换，即对任意 g : B → C g: B \to C g:B→C，下图必须交换：

Hom ⁡ ( A , B ) → g ∗ Hom ⁡ ( A , C ) x ˉ B ↓ ↓ x ˉ C F ( B ) → F ( g ) F ( C ) \begin{array}{ccc} \operatorname{Hom}(A, B) & \xrightarrow{g_*} & \operatorname{Hom}(A, C) \\ {\scriptstyle \bar{x}_B}\downarrow & & \downarrow{\scriptstyle \bar{x}_C} \\ F(B) & \xrightarrow{F(g)} & F(C) \end{array} Hom(A,B)xˉB↓F(B)g∗ F(g) Hom(A,C)↓xˉCF(C)

任取 f ∈ Hom ⁡ ( A , B ) f \in \operatorname{Hom}(A, B) f∈Hom(A,B)，沿右下方路径：

x ˉ C ( g ∗ ( f ) ) = x ˉ C ( g ∘ f ) = F ( g ∘ f ) ( x ) . \bar{x}C(g*(f)) = \bar{x}_C(g \circ f) = F(g \circ f)(x). xˉC(g∗(f))=xˉC(g∘f)=F(g∘f)(x).

沿左下方路径：

F ( g ) ( x ˉ B ( f ) ) = F ( g ) ( F ( f ) ( x ) ) . F(g)(\bar{x}_B(f)) = F(g)(F(f)(x)). F(g)(xˉB(f))=F(g)(F(f)(x)).

因为 F F F 是函子， F ( g ∘ f ) = F ( g ) ∘ F ( f ) F(g \circ f) = F(g) \circ F(f) F(g∘f)=F(g)∘F(f)，因此两路径结果相等。自然性得证。

互逆性验证

从 x x x 出发构造 x ˉ \bar{x} xˉ，再取其 x ˉ A ( id ⁡ A ) = F ( id ⁡ A ) ( x ) = id ⁡ F ( A ) ( x ) = x \bar{x}_A(\operatorname{id}A) = F(\operatorname{id}A)(x) = \operatorname{id}{F(A)}(x) = x xˉA(idA)=F(idA)(x)=idF(A)(x)=x。因此 Φ ∘ Ψ = id ⁡ F ( A ) \Phi \circ \Psi = \operatorname{id}{F(A)} Φ∘Ψ=idF(A)。
从 α \alpha α 出发，设 u = α A ( id ⁡ A ) u = \alpha_A(\operatorname{id}A) u=αA(idA)，构造 u ˉ \bar{u} uˉ。对任意 B B B 和 f : A → B f: A \to B f:A→B，利用 α \alpha α 的自然性（对于态射 f : A → B f: A \to B f:A→B）：
Hom ⁡ ( A , A ) → f ∗ Hom ⁡ ( A , B ) α A ↓ ↓ α B F ( A ) → F ( f ) F ( B ) \begin{array}{ccc} \operatorname{Hom}(A, A) & \xrightarrow{f*} & \operatorname{Hom}(A, B) \\ {\scriptstyle \alpha_A}\downarrow & & \downarrow{\scriptstyle \alpha_B} \\ F(A) & \xrightarrow{F(f)} & F(B) \end{array} Hom(A,A)αA↓F(A)f∗ F(f) Hom(A,B)↓αBF(B)
追迹 id ⁡ A \operatorname{id}A idA：沿右下方路径得 α B ( f ∗ ( id ⁡ A ) ) = α B ( f ) \alpha_B(f*(\operatorname{id}_A)) = \alpha_B(f) αB(f∗(idA))=αB(f)；沿左下方路径得 F ( f ) ( α A ( id ⁡ A ) ) = F ( f ) ( u ) = u ˉ B ( f ) F(f)(\alpha_A(\operatorname{id}_A)) = F(f)(u) = \bar{u}_B(f) F(f)(αA(idA))=F(f)(u)=uˉB(f)。因此对任意 B B B 和 f f f， α B ( f ) = u ˉ B ( f ) \alpha_B(f) = \bar{u}_B(f) αB(f)=uˉB(f)，故 α = u ˉ \alpha = \bar{u} α=uˉ。因此 Ψ ∘ Φ = id ⁡ \Psi \circ \Phi = \operatorname{id} Ψ∘Φ=id。

于是我们建立了双射。自然性 （即该同构在 A A A 和 F F F 变化时与态射兼容）的验证虽然技术繁琐，但同样基于函子合成与自然变换的性质，在此从略。∎

推论 29.2.2（米田嵌入） 定义米田嵌入函子 Y : C op → $C , Set$ Y: \mathcal{C}^{\text{op}} \to $\\mathcal{C}, \\text{Set}$ Y:Cop→ $C,Set$ 为：

在对象上： Y ( A ) = Hom ⁡ C ( A , − ) Y(A) = \operatorname{Hom}_{\mathcal{C}}(A, -) Y(A)=HomC(A,−)；
在态射 f : B → A f: B \to A f:B→A（在 C op \mathcal{C}^{\text{op}} Cop 中为 f op : A → B f^{\text{op}}: A \to B fop:A→B）上： Y ( f ) : Hom ⁡ C ( A , − ) ⇒ Hom ⁡ C ( B , − ) Y(f): \operatorname{Hom}{\mathcal{C}}(A, -) \Rightarrow \operatorname{Hom}{\mathcal{C}}(B, -) Y(f):HomC(A,−)⇒HomC(B,−) 为自然变换，其分量由前合成给出： Y ( f ) C ( h : A → C ) = h ∘ f : B → C Y(f)_C(h: A \to C) = h \circ f: B \to C Y(f)C(h:A→C)=h∘f:B→C。

米田引理的直接推论是： Y Y Y 是满忠实 的，即对任意 A , B ∈ C A, B \in \mathcal{C} A,B∈C，

Hom ⁡ C op ( A , B ) = Hom ⁡ C ( B , A ) ≅ Nat ( Hom ⁡ C ( A , − ) , Hom ⁡ C ( B , − ) ) . \operatorname{Hom}{\mathcal{C}^{\text{op}}}(A, B) = \operatorname{Hom}{\mathcal{C}}(B, A) \cong \text{Nat}(\operatorname{Hom}{\mathcal{C}}(A, -), \operatorname{Hom}{\mathcal{C}}(B, -)). HomCop(A,B)=HomC(B,A)≅Nat(HomC(A,−),HomC(B,−)).

这意味着范畴 C \mathcal{C} C 可以完全且忠实地 嵌入到其上的预设层范畴 $C , Set$ $\\mathcal{C}, \\text{Set}$ $C,Set$ 中。每一个对象 A A A 被它的"态射轮廓"------从它出发到所有其他对象的所有态射的集合------完全且唯一地确定。在范畴论的世界中，一个对象的全部信息就编码在它与其他对象的交互模式中。

哲学解读 ：米田引理被公认为范畴论中最深刻的定理之一，它赋予了结构主义哲学精确的数学内容。传统的集合论观点认为，对象由它的元素定义------要知道一个群是什么，你需要知道它的元素以及它们如何相乘。范畴论则反转了这一视角：一个对象 A A A 完全由函子 Hom ⁡ ( A , − ) \operatorname{Hom}(A, -) Hom(A,−) 决定，即由 A A A 到其他所有对象的态射集决定。你不需要"打开" A A A 查看它的内部结构，只需要观察它如何映射到其他对象，以及这些映射如何与其他态射复合，就已经掌握了关于 A A A 的全部数学信息。如果两个对象 A A A 和 B B B 满足 Hom ⁡ ( A , − ) ≅ Hom ⁡ ( B , − ) \operatorname{Hom}(A, -) \cong \operatorname{Hom}(B, -) Hom(A,−)≅Hom(B,−)（作为函子自然同构），则米田嵌入的满忠实性蕴含 A ≅ B A \cong B A≅B。用范畴论的行话说：对象等价于它所诱导的态射谱。

这一原理在整个现代数学中回响：在代数几何中，一个概形由它所表示的函子（它的"点函子"）决定；在拓扑中，空间的同伦型由它到其他空间的映射决定；在逻辑中，一个理论的模型由其可定义集决定。米田引理为所有这些现象提供了统一的数学基础。

示例：作为米田引理的简单应用，可以纯范畴论地证明群的单位元唯一。将群 G G G 视为单对象范畴 B G \mathcal{B}G BG，其唯一的Hom集为 G G G 本身。考虑在 B G \mathcal{B}G BG 上的预设层，单位元 id ⁡ ∗ \operatorname{id}_* id∗ 作为唯一对象上的特殊态射，它在米田对应下与某个自然变换的相等性蕴含了单位元的唯一性。虽然这个例子可以直接用群论证明，但它示范了米田引理如何将代数事实翻译为范畴论语言。

29.3 泛性质：通过映射定义对象

范畴论的核心方法论之一是泛性质：不通过显式构造来定义对象，而是通过规定它与其他对象的态射关系来定义------通常的形式是"存在唯一的箭头使得某图交换"。这类似于实验物理学中，我们不定义基本粒子的"内在本质"，而只通过它与其他粒子的相互作用（散射截面、衰变道等）来刻画它。泛性质将这一方法论提升为数学定义的普遍范式。

定义 29.3.1（积的泛性质） 在范畴 C \mathcal{C} C 中，给定对象 X , Y X, Y X,Y，它们的积是一个对象 P P P 连同两个态射 π 1 : P → X \pi_1: P \to X π1:P→X 和 π 2 : P → Y \pi_2: P \to Y π2:P→Y（称为投影），满足如下泛性质：

对任意对象 Q Q Q 和任意一对态射 f : Q → X , g : Q → Y f: Q \to X, g: Q \to Y f:Q→X,g:Q→Y，存在唯一态射 ⟨ f , g ⟩ : Q → P \langle f, g \rangle: Q \to P ⟨f,g⟩:Q→P 使得 π 1 ∘ ⟨ f , g ⟩ = f \pi_1 \circ \langle f, g \rangle = f π1∘⟨f,g⟩=f 且 π 2 ∘ ⟨ f , g ⟩ = g \pi_2 \circ \langle f, g \rangle = g π2∘⟨f,g⟩=g。

图形表示为：

Q ⟨ f , g ⟩ ↓ ↙ f ↘ g X ← π 1 P → π 2 Y \begin{array}{ccc} & Q & \\ & {\scriptstyle \langle f, g \rangle}\downarrow\;\; \swarrow^{f}\; \searrow^{g} & \\ X & \xleftarrow{\pi_1} & P & \xrightarrow{\pi_2} & Y \end{array} XQ⟨f,g⟩↓↙f↘gπ1 Pπ2 Y

虚线箭头 ⟨ f , g ⟩ \langle f, g \rangle ⟨f,g⟩ 的存在性和唯一性是泛性质的核心："存在"确保 P P P 足够"大"以容纳任意一对映射的信息（它必须能够模拟从 Q Q Q 到 X X X 和到 Y Y Y 的同时映射），"唯一"确保 P P P 不会过大（没有多余的冗余信息）。

在Set中，积正是笛卡尔积 X × Y = { ( x , y ) ∣ x ∈ X , y ∈ Y } X \times Y = \{(x, y) \mid x \in X, y \in Y\} X×Y={(x,y)∣x∈X,y∈Y}，投影为 π 1 ( x , y ) = x , π 2 ( x , y ) = y \pi_1(x, y) = x, \pi_2(x, y) = y π1(x,y)=x,π2(x,y)=y，配对为 ⟨ f , g ⟩ ( q ) = ( f ( q ) , g ( q ) ) \langle f, g \rangle(q) = (f(q), g(q)) ⟨f,g⟩(q)=(f(q),g(q))。在Grp中，群直积是积。在Top中，积空间（配备积拓扑）是积。在偏序集作为范畴时，积就是下确界（最大下界）： x ∧ y x \wedge y x∧y 满足对任意 z z z， z ≤ x z \le x z≤x 且 z ≤ y z \le y z≤y 当且仅当 z ≤ x ∧ y z \le x \wedge y z≤x∧y。

定理 29.3.2 若积存在，则必唯一至唯一的保持投影的同构。

证明：假设 ( P , π 1 , π 2 ) (P, \pi_1, \pi_2) (P,π1,π2) 和 ( P ′ , π 1 ′ , π 2 ′ ) (P', \pi_1', \pi_2') (P′,π1′,π2′) 都是 X , Y X, Y X,Y 的积。对 P ′ P' P′ 应用 P P P 的泛性质（取 Q = P ′ Q = P' Q=P′, f = π 1 ′ f = \pi_1' f=π1′, g = π 2 ′ g = \pi_2' g=π2′），得唯一态射 u : P ′ → P u: P' \to P u:P′→P 使得 π 1 ∘ u = π 1 ′ \pi_1 \circ u = \pi_1' π1∘u=π1′, π 2 ∘ u = π 2 ′ \pi_2 \circ u = \pi_2' π2∘u=π2′。对 P P P 应用 P ′ P' P′ 的泛性质，得唯一态射 v : P → P ′ v: P \to P' v:P→P′ 使得 π 1 ′ ∘ v = π 1 \pi_1' \circ v = \pi_1 π1′∘v=π1, π 2 ′ ∘ v = π 2 \pi_2' \circ v = \pi_2 π2′∘v=π2。

考虑合成 v ∘ u : P ′ → P ′ v \circ u: P' \to P' v∘u:P′→P′。它满足 π 1 ′ ∘ ( v ∘ u ) = π 1 ′ \pi_1' \circ (v \circ u) = \pi_1' π1′∘(v∘u)=π1′ 且 π 2 ′ ∘ ( v ∘ u ) = π 2 ′ \pi_2' \circ (v \circ u) = \pi_2' π2′∘(v∘u)=π2′。但 id ⁡ P ′ \operatorname{id}{P'} idP′ 也满足这两个等式。由 P ′ P' P′ 的积的泛性质中对 Q = P ′ Q = P' Q=P′ 自身的唯一性要求，迫使 v ∘ u = id ⁡ P ′ v \circ u = \operatorname{id}{P'} v∘u=idP′。同理 u ∘ v = id ⁡ P u \circ v = \operatorname{id}_P u∘v=idP。故 u u u 和 v v v 是互逆的同构，且 u u u 保持投影。∎

这一证明堪称范畴论论证的范式：只使用箭头、合成、存在性与唯一性，完全不触及对象的内部结构。它适用于任何范畴，无论对象是集合、群、拓扑空间还是层的范畴。泛性质定义的任何构造（积、余积、等化子、极限等）都具有这种"至多唯一至同构"的刚性，这赋予了范畴论定义极高的精确性和普适性。

对偶概念：余积

将积的泛性质中所有箭头反转，得到余积 X ⨿ Y X \amalg Y X⨿Y 的泛性质：对象 C C C 配备两个入射 i 1 : X → C i_1: X \to C i1:X→C 和 i 2 : Y → C i_2: Y \to C i2:Y→C，使得对任意 f : X → Q , g : Y → Q f: X \to Q, g: Y \to Q f:X→Q,g:Y→Q，存在唯一态射 $f , g$ : C → Q $f, g$ : C \to Q $f,g$ :C→Q 满足 $f , g$ ∘ i 1 = f $f, g$ \circ i_1 = f $f,g$ ∘i1=f 且 $f , g$ ∘ i 2 = g $f, g$ \circ i_2 = g $f,g$ ∘i2=g。在Set中，余积是不交并；在Grp中，余积是自由积；在Vec K _K K中，余积是直和；在偏序集中，余积是上确界。

拉回与推出 ：泛性质的另一重要实例是拉回（pullback，纤维积）。给定两个态射 f : X → Z f: X \to Z f:X→Z 和 g : Y → Z g: Y \to Z g:Y→Z，它们的拉回是一个对象 P P P 配备态射 p 1 : P → X p_1: P \to X p1:P→X 和 p 2 : P → Y p_2: P \to Y p2:P→Y，满足 f ∘ p 1 = g ∘ p 2 f \circ p_1 = g \circ p_2 f∘p1=g∘p2，且泛性质：对任何 Q Q Q 及 q 1 : Q → X , q 2 : Q → Y q_1: Q \to X, q_2: Q \to Y q1:Q→X,q2:Q→Y 满足 f ∘ q 1 = g ∘ q 2 f \circ q_1 = g \circ q_2 f∘q1=g∘q2，存在唯一的 u : Q → P u: Q \to P u:Q→P 使得 p 1 ∘ u = q 1 , p 2 ∘ u = q 2 p_1 \circ u = q_1, p_2 \circ u = q_2 p1∘u=q1,p2∘u=q2。在Set中，拉回是纤维积 X × Z Y = { ( x , y ) ∈ X × Y ∣ f ( x ) = g ( y ) } X \times_Z Y = \{(x, y) \in X \times Y \mid f(x) = g(y)\} X×ZY={(x,y)∈X×Y∣f(x)=g(y)}。拉回是范畴论中构造"沿映射拉回结构"的通用工具，在拓扑（拉回空间）、代数（基变换）、逻辑（替换下公式的翻译）中都有关键应用。推出是拉回的对偶概念。

29.4 范畴中的极限与余极限

积、拉回、等化子等构造虽然形式各异，但它们共享一个统一的模式：它们都是某个图的极限。范畴论的一大成就是将这些构造统一在极限与余极限的框架下。

定义 29.4.1（锥与极限） 设 C \mathcal{C} C 为范畴， J J J 为一个小范畴（称为指标范畴 ）， F : J → C F: J \to \mathcal{C} F:J→C 是一个函子（即 C \mathcal{C} C 中的一个 J J J 型图）。

F F F 上的一个锥由顶点 L ∈ C L \in \mathcal{C} L∈C 和一族态射 λ X : L → F ( X ) \lambda_X: L \to F(X) λX:L→F(X)（对每个 X ∈ Ob ⁡ ( J ) X \in \operatorname{Ob}(J) X∈Ob(J)）构成，满足相容性条件 ：对 J J J 中任意态射 f : X → Y f: X \to Y f:X→Y，有 F ( f ) ∘ λ X = λ Y F(f) \circ \lambda_X = \lambda_Y F(f)∘λX=λY。直观上，从顶点 L L L 到图中每个对象都有态射，且这些态射与图 F F F 中的箭头形成交换三角形。

F F F 上的极限 l i m ← ⁡ F \varprojlim F limF（或 lim ⁡ F \lim F limF）是一个泛锥：存在一个锥 ( l i m ← ⁡ F , { π X } ) (\varprojlim F, \{\pi_X\}) ( limF,{πX})，使得对 F F F 上的任何其他锥 ( N , { ν X } ) (N, \{\nu_X\}) (N,{νX})，存在唯一态射 ϕ : N → l i m ← ⁡ F \phi: N \to \varprojlim F ϕ:N→ limF 满足 π X ∘ ϕ = ν X \pi_X \circ \phi = \nu_X πX∘ϕ=νX 对所有 X X X。极限是将整个图的信息以"最经济"的方式编码到一个对象中的构造。

余极限 l i m → ⁡ F \varinjlim F limF（或 colim ⁡ F \operatorname{colim} F colimF）是极限的对偶概念：考虑 F F F 上的余锥（从 F ( X ) F(X) F(X) 到顶点 C C C 的态射族，与图 F F F 的箭头相容），余极限是泛余锥。

例子：经典构造作为特定指标范畴的极限或余极限：

积： J J J 为离散范畴（两个对象，无恒等以外的态射）， F F F 选取 X , Y X, Y X,Y，则极限 l i m ← ⁡ F \varprojlim F limF 即为积 X × Y X \times Y X×Y。
终对象 ： J J J 为空范畴， F F F 为空函子。极限为终对象（空锥的泛性质恰是终对象的定义）。
等化子 ： J = ∙ ⇉ ∙ J = \bullet \rightrightarrows \bullet J=∙⇉∙（两个对象，两个平行箭头）， F F F 选取一对平行态射 f , g : X → Y f, g: X \to Y f,g:X→Y。极限为等化子 eq ⁡ ( f , g ) \operatorname{eq}(f, g) eq(f,g)，满足 f ∘ e = g ∘ e f \circ e = g \circ e f∘e=g∘e 的泛态射 e : E → X e: E \to X e:E→X。
拉回： J = ∙ → ∙ ← ∙ J = \bullet \to \bullet \leftarrow \bullet J=∙→∙←∙（三个对象形成漏斗形），极限为拉回。
余积、始对象、余等化子、推出分别是以上构造的对偶（余极限）。

若范畴 C \mathcal{C} C 对所有小指标范畴 J J J 都有极限，称 C \mathcal{C} C 为完备；若对所有小 J J J 有其余极限，称 C \mathcal{C} C 为余完备 。Set、Grp、Top、Vec K _K K、Mod R _R R 等绝大多数日常范畴都是完备且余完备的。极限与余极限在范畴论的伴随理论中占据核心地位：右伴随保持极限，左伴随保持余极限（定理30.2.2），这一事实是泛性质构造在数学中传递的根本机制。

第三十章伴随函子与可表性

30.1 伽罗瓦连接：经典的序结构伴随

伴随概念在纯粹范畴论出现之前就隐含在数学的多个领域中，其中最经典的是序结构中的伽罗瓦连接 。设 ( X , ≤ ) (X, \le) (X,≤) 和 ( Y , ≤ ) (Y, \le) (Y,≤) 为偏序集。一对反单调（即反变保序）的映射 L : X → Y L: X \to Y L:X→Y 和 R : Y → X R: Y \to X R:Y→X 构成伽罗瓦连接，如果它们满足：

x ≤ R ( y ) ⟺ y ≤ L ( x ) 对所有 x ∈ X , y ∈ Y . x \le R(y) \iff y \le L(x) \quad \text{对所有 } x \in X, y \in Y. x≤R(y)⟺y≤L(x)对所有 x∈X,y∈Y.

在幂集之间，给定集合 A , B A, B A,B 和关系 R ⊆ A × B R \subseteq A \times B R⊆A×B，定义 L ( S ) = { b ∈ B ∣ ∀ a ∈ S , ( a , b ) ∈ R } L(S) = \{b \in B \mid \forall a \in S, (a,b) \in R\} L(S)={b∈B∣∀a∈S,(a,b)∈R} 和 R ( T ) = { a ∈ A ∣ ∀ b ∈ T , ( a , b ) ∈ R } R(T) = \{a \in A \mid \forall b \in T, (a,b) \in R\} R(T)={a∈A∣∀b∈T,(a,b)∈R}，则 ( L , R ) (L, R) (L,R) 构成伽罗瓦连接。伽罗瓦连接广泛出现于逻辑（全称量词与存在量词的对偶）、代数（多项式的零点集与理想）、拓扑（闭包与内部）等。它是伴随函子在偏序集上的特例，也是范畴论伴随概念的历史源头之一。

30.2 伴随的纯范畴论定义

定义 30.2.1（伴随函子） 设 F : C → D F: \mathcal{C} \to \mathcal{D} F:C→D 和 G : D → C G: \mathcal{D} \to \mathcal{C} G:D→C 为一对函子。称 F F F 是 G G G 的左伴随 （或等价地， G G G 是 F F F 的右伴随 ），记作 F ⊣ G F \dashv G F⊣G，如果存在如下自然同构 （在 C ∈ C C \in \mathcal{C} C∈C 和 D ∈ D D \in \mathcal{D} D∈D 中自然）：

Hom ⁡ D ( F ( C ) , D ) ≅ Hom ⁡ C ( C , G ( D ) ) . \operatorname{Hom}{\mathcal{D}}(F(C), D) \cong \operatorname{Hom}{\mathcal{C}}(C, G(D)). HomD(F(C),D)≅HomC(C,G(D)).

这一同构是一族双射 Φ C , D : Hom ⁡ D ( F ( C ) , D ) → ≅ Hom ⁡ C ( C , G ( D ) ) \Phi_{C,D}: \operatorname{Hom}{\mathcal{D}}(F(C), D) \xrightarrow{\cong} \operatorname{Hom}{\mathcal{C}}(C, G(D)) ΦC,D:HomD(F(C),D)≅ HomC(C,G(D))，要求对 C C C 和 D D D 分别自然：固定 C C C， Φ C , − \Phi_{C,-} ΦC,− 是从函子 Hom ⁡ D ( F ( C ) , − ) \operatorname{Hom}{\mathcal{D}}(F(C), -) HomD(F(C),−) 到 Hom ⁡ C ( C , G ( − ) ) \operatorname{Hom}{\mathcal{C}}(C, G(-)) HomC(C,G(−)) 的自然变换；固定 D D D， Φ − , D \Phi_{-,D} Φ−,D 是从函子 Hom ⁡ D ( F ( − ) , D ) \operatorname{Hom}{\mathcal{D}}(F(-), D) HomD(F(−),D) 到 Hom ⁡ C ( − , G ( D ) ) \operatorname{Hom}{\mathcal{C}}(-, G(D)) HomC(−,G(D)) 的反变自然变换。

伴随是范畴论中最重要的单一概念。麦克莱恩在其经典著作《Categories for the Working Mathematician》中写道："伴随函子无处不在。"它们统一了自由构造、遗忘构造、闭包、完备化、张量积与Hom、量词等多种数学现象。

单位与余单位刻画：伴随等价于存在两个自然变换：

单位 η : Id ⁡ C ⇒ G ∘ F \eta: \operatorname{Id}_{\mathcal{C}} \Rightarrow G \circ F η:IdC⇒G∘F；
余单位 ε : F ∘ G ⇒ Id ⁡ D \varepsilon: F \circ G \Rightarrow \operatorname{Id}_{\mathcal{D}} ε:F∘G⇒IdD；

满足三角恒等式 ：

( G ε ) ∘ ( η G ) = id ⁡ G , ( ε F ) ∘ ( F η ) = id ⁡ F . (G \varepsilon) \circ (\eta G) = \operatorname{id}_G, \quad (\varepsilon F) \circ (F \eta) = \operatorname{id}_F. (Gε)∘(ηG)=idG,(εF)∘(Fη)=idF.

给定自然同构 Φ \Phi Φ，单位定义为 η C = Φ C , F ( C ) ( id ⁡ F ( C ) ) \eta_C = \Phi_{C, F(C)}(\operatorname{id}{F(C)}) ηC=ΦC,F(C)(idF(C))，余单位定义为 ε D = Φ G ( D ) , D − 1 ( id ⁡ G ( D ) ) \varepsilon_D = \Phi{G(D), D}^{-1}(\operatorname{id}{G(D)}) εD=ΦG(D),D−1(idG(D))。反之，给定 η , ε \eta, \varepsilon η,ε，自然同构可重建为 Φ C , D ( f : F ( C ) → D ) = G ( f ) ∘ η C \Phi{C,D}(f: F(C) \to D) = G(f) \circ \eta_C ΦC,D(f:F(C)→D)=G(f)∘ηC。

经典例子：

自由 ⊣ 遗忘 ： F : Set → Grp F: \text{Set} \to \text{Grp} F:Set→Grp 左伴随于 U U U： Hom ⁡ Grp ( F ( S ) , G ) ≅ Hom ⁡ Set ( S , U ( G ) ) \operatorname{Hom}{\text{Grp}}(F(S), G) \cong \operatorname{Hom}{\text{Set}}(S, U(G)) HomGrp(F(S),G)≅HomSet(S,U(G))。自由群上的同态由生成元的像唯一确定。
张量 ⊣ Hom ：对交换环 R R R，固定 R R R-模 M M M， − ⊗ R M ⊣ Hom ⁡ R ( M , − ) -\otimes_R M \dashv \operatorname{Hom}_R(M, -) −⊗RM⊣HomR(M,−)： Hom ⁡ ( N ⊗ M , P ) ≅ Hom ⁡ ( N , Hom ⁡ ( M , P ) ) \operatorname{Hom}(N \otimes M, P) \cong \operatorname{Hom}(N, \operatorname{Hom}(M, P)) Hom(N⊗M,P)≅Hom(N,Hom(M,P))。这是同调代数的中心伴随对。
群化 ⊣ 包含 ：阿贝尔群化函子左伴随于包含 Ab ↪ Grp \text{Ab} \hookrightarrow \text{Grp} Ab↪Grp。
极限与余极限 ⊣ 对角 ：对角函子 Δ : C → C J \Delta: \mathcal{C} \to \mathcal{C}^J Δ:C→CJ 将对象送到常值图。极限函子 l i m ← ⁡ \varprojlim lim 是 Δ \Delta Δ 的右伴随，余极限 l i m → ⁡ \varinjlim lim 是 Δ \Delta Δ 的左伴随。

定理 30.2.2 左伴随保持所有余极限，右伴随保持所有极限。

证明思路 ：设 F ⊣ G F \dashv G F⊣G。考虑 C \mathcal{C} C 中的余极限 l i m → ⁡ H \varinjlim H limH。对于任意 D ∈ D D \in \mathcal{D} D∈D，

Hom ⁡ D ( F ( l i m → ⁡ H ) , D ) ≅ Hom ⁡ C ( l i m → ⁡ H , G ( D ) ) ≅ l i m ← ⁡ Hom ⁡ C ( H ( − ) , G ( D ) ) ≅ l i m ← ⁡ Hom ⁡ D ( F ( H ( − ) ) , D ) , \begin{aligned} \operatorname{Hom}{\mathcal{D}}(F(\varinjlim H), D) &\cong \operatorname{Hom}{\mathcal{C}}(\varinjlim H, G(D)) \\ &\cong \varprojlim \operatorname{Hom}{\mathcal{C}}(H(-), G(D)) \\ &\cong \varprojlim \operatorname{Hom}{\mathcal{D}}(F(H(-)), D), \end{aligned} HomD(F( limH),D)≅HomC( limH,G(D))≅ limHomC(H(−),G(D))≅ limHomD(F(H(−)),D),

其中第二个同构是因为Hom函子将余极限转化为极限（在Set中的标准性质）。因此 F ( l i m → ⁡ H ) F(\varinjlim H) F( limH) 满足 F ∘ H F \circ H F∘H 的余极限的泛性质，故同构于 l i m → ⁡ ( F ∘ H ) \varinjlim (F \circ H) lim(F∘H)。∎

该定理具有极大的实用价值：自由群是左伴随，所以它保持余积（自由群的余积是自由积，其底层集合是生成元的不交并上的自由群）；遗忘函子是右伴随，所以群的积的底层集合等于底层集合的积。这一原理将许多"显然"的性质精确化为伴随的自动推论。

30.3 伴随函子定理

伴随函子无处不在，但如何保证一个给定的函子有伴随？弗雷德伴随函子定理是范畴论最深刻的存在性定理之一，它为左伴随的存在提供了充分必要条件。

定理 30.3.1（弗雷德伴随函子定理） 设 C \mathcal{C} C 是完备范畴， G : D → C G: \mathcal{D} \to \mathcal{C} G:D→C 是函子。则 G G G 有左伴随 F ⊣ G F \dashv G F⊣G 当且仅当：

G G G 保持所有小极限；
对每个 C ∈ C C \in \mathcal{C} C∈C，存在一个解集（solution set）：即存在一个由态射 { f i : C → G ( D i ) } i ∈ I \{f_i: C \to G(D_i)\}_{i \in I} {fi:C→G(Di)}i∈I 构成的集合（ I I I 是集合，非真类），使得对任意态射 f : C → G ( D ) f: C \to G(D) f:C→G(D)，存在某个 i i i 和态射 g : D i → D g: D_i \to D g:Di→D 使得 f = G ( g ) ∘ f i f = G(g) \circ f_i f=G(g)∘fi。

解集条件排除了"真类障碍"------如果没有这一条件，从 C C C 出发的箭头可能形成一个真类，使得无法通过取极限来构造泛箭头。该定理的证明堪称范畴论中非平凡存在性论证的范例：通过构造一个庞大的图并取其极限，从中"压制"出左伴随。在大多数日常范畴（Set、Grp、Top等）中，解集条件自动满足，因此只要函子保持极限，它就几乎自动拥有左伴随。

特殊伴随函子定理 提供了另一组充分条件：若 C \mathcal{C} C 和 D \mathcal{D} D 都是完备、局部小，且 C \mathcal{C} C 有一个小的生成子集且良幂，则任何保持极限的函子 G : D → C G: \mathcal{D} \to \mathcal{C} G:D→C 都有左伴随。这一定理适用于大多数代数范畴。伴随函子定理确保了自由代数、完备化（如Stone-Čech紧化）、层化函子等存在性的严格范畴论证明。

第三十一章范畴论大厦的高层景观

31.1 2-范畴与范畴的范畴

范畴本身作为对象，函子作为态射，自然变换作为态射之间的态射，这三层结构形成了一个2-范畴 ，记作 Cat（小范畴的2-范畴）。在2-范畴中：

对象是小范畴；
1-态射是函子；
2-态射是自然变换。

2-范畴的公理要求在1-态射层面有结合律和单位律（如普通范畴），同时在2-态射层面有垂直合成与水平合成，且两者满足中四互换律（见28.5节末）。Cat是最基本的2-范畴，它示范了范畴论本身的"升维"：我们不仅研究数学对象和它们的映射，还研究映射之间的映射。这一思路可以无限延伸，导出严格 n n n-范畴 和** ∞ ∞ ∞-范畴**的理论，后者在当前数学的前沿（如导出代数几何、同伦类型论）中扮演核心角色。

在任意2-范畴中，可以内在地定义伴随：一对1-态射 f : X → Y f: X \to Y f:X→Y 和 g : Y → X g: Y \to X g:Y→X 是伴随 f ⊣ g f \dashv g f⊣g，若存在2-态射 η : id ⁡ X ⇒ g ∘ f \eta: \operatorname{id}_X \Rightarrow g \circ f η:idX⇒g∘f 和 ε : f ∘ g ⇒ id ⁡ Y \varepsilon: f \circ g \Rightarrow \operatorname{id}_Y ε:f∘g⇒idY 满足三角恒等式。这一定义完全摆脱了Hom集的依赖，表明伴随是纯粹的二维结构现象。

31.2 单子与代数

伴随对 F ⊣ G F \dashv G F⊣G 的复合 T = G ∘ F : C → C T = G \circ F: \mathcal{C} \to \mathcal{C} T=G∘F:C→C 带有一个丰富的代数结构，称为单子（Monad）。具体地， T T T 配备：

单位 η : Id ⁡ ⇒ T \eta: \operatorname{Id} \Rightarrow T η:Id⇒T（来自伴随的单位）；
乘法 μ : T ∘ T ⇒ T \mu: T \circ T \Rightarrow T μ:T∘T⇒T（定义为 μ = G ε F \mu = G \varepsilon F μ=GεF，其中 ε \varepsilon ε 是伴随的余单位）；

满足幺半群型的结合律和单位律：

μ ∘ T μ = μ ∘ μ T , μ ∘ T η = id ⁡ T = μ ∘ η T . \mu \circ T\mu = \mu \circ \mu T, \quad \mu \circ T\eta = \operatorname{id}_T = \mu \circ \eta T. μ∘Tμ=μ∘μT,μ∘Tη=idT=μ∘ηT.

单子抽象了"由生成元自由生成结构再遗忘回原范畴"的整个过程。给定一个单子，可以定义它的代数范畴 C T \mathcal{C}^T CT（Eilenberg-Moore代数），其对象是 C \mathcal{C} C 中的对象 A A A 配备结构映射 a : T ( A ) → A a: T(A) \to A a:T(A)→A，满足与 η , μ \eta, \mu η,μ 兼容的公理。例如：

在Set上，自由群-遗忘函子伴随给出的单子 T T T，其代数正是群本身：一个集合 S S S 上的 T T T-代数结构等价于 S S S 上的一个群结构。
类似地，环、模、幺半群等代数结构均可统一为Set上相应单子的代数。
单子理论还将泛代数与范畴论深度融合，为编程语言（如Haskell）中的"单子"概念提供了坚实的数学语义：计算效应（如状态、异常、输入输出）可以用单子结构化，程序的复合对应单子的Kleisli范畴中的态射。

31.3 笛卡尔闭范畴与简单类型论

定义 31.3.1（笛卡尔闭范畴） 一个范畴 C \mathcal{C} C 称为笛卡尔闭范畴 （CCC），若它具有所有有限积，并且对任意对象 A , B A, B A,B，函子 − × A : C → C - \times A: \mathcal{C} \to \mathcal{C} −×A:C→C 有右伴随，记作 ( − ) A (-)^A (−)A。即存在自然同构

Hom ⁡ C ( C × A , B ) ≅ Hom ⁡ C ( C , B A ) . \operatorname{Hom}{\mathcal{C}}(C \times A, B) \cong \operatorname{Hom}{\mathcal{C}}(C, B^A). HomC(C×A,B)≅HomC(C,BA).

B A B^A BA 称为指数对象 ，可理解为从 A A A 到 B B B 的"映射空间"。伴随的余单位给出求值态射 eval : B A × A → B \text{eval}: B^A \times A \to B eval:BA×A→B，单位给出柯里化操作。

Set是笛卡尔闭的， B A B^A BA 就是函数集合。Cat（小范畴的范畴）也是笛卡尔闭的，指数为函子范畴。笛卡尔闭范畴为简单类型λ-演算提供了精确的范畴论语义（柯里-霍华德-兰贝克对应）：

类型对应对象；
项（程序）对应对应类型的态射；
积类型对应范畴积；
函数类型对应指数对象；
β-归约和η-扩张对应伴随的单位和余单位等式。

因此，CCC不仅统一了集合论中的函数空间与逻辑中的蕴涵类型，还成为程序设计语言类型系统的数学模型，标志着范畴论、逻辑学与计算机科学在深层结构上的统一。

31.4 拓扑斯理论：逻辑与几何的统一

拓扑斯（Topos）是范畴论发展的巅峰之一，它将集合论、拓扑空间理论和直觉主义逻辑统一在一个极简的公理框架中。

定义 31.4.1（初等拓扑斯） 一个初等拓扑斯是一个范畴 E \mathcal{E} E，满足：

有限完备：所有有限极限存在（等价于有终对象和拉回）；
笛卡尔闭：有所有指数对象；
有子对象分类器 Ω \Omega Ω：存在一个对象 Ω \Omega Ω 和一个单态射 true : 1 → Ω \text{true}: 1 \to \Omega true:1→Ω，使得对任意单态射 m : S ↪ X m: S \hookrightarrow X m:S↪X，存在唯一的特征态射 χ m : X → Ω \chi_m: X \to \Omega χm:X→Ω 使得下图是拉回：
S → 1 ↓ m ↓ true X → χ m Ω \begin{array}{ccc} S & \to & 1 \\ \downarrow m & & \downarrow \text{true} \\ X & \xrightarrow{\chi_m} & \Omega \end{array} S↓mX→χm 1↓trueΩ
在Set中， Ω = { 0 , 1 } \Omega = \{0,1\} Ω={0,1}， true \text{true} true 选 1 1 1，子集 S S S 的特征映射为其指示函数。

初等拓扑斯内蕴丰富的结构：

内在逻辑 ：子对象分类器 Ω \Omega Ω 具有海廷代数结构（满足直觉主义命题逻辑，排中律不一定成立），且可利用笛卡尔闭结构解释一阶量词和高阶逻辑。任何拓扑斯都是一个"数学宇宙"，在其中可以发展出实分析、代数等，但可能遵循直觉主义逻辑规则。
层拓扑斯 ：对拓扑空间 X X X（或更一般地，景），其上的集合层范畴 Sh ( X ) \text{Sh}(X) Sh(X) 是拓扑斯。真值 Ω \Omega Ω 是 X X X 的开集格，命题的真值是"使该命题局部成立的最大开集"，从而捕捉了"局部成立"的概念。
格罗滕迪克拓扑斯：格罗滕迪克在代数几何中引入的景上层范畴，为平展上同调提供了框架，是现代代数几何的基础语言。格罗滕迪克拓扑斯是初等拓扑斯的特例（满足额外的"小生成"条件）。
作为数学基础：劳维尔的初等范畴论（ETCS）公理化了一个良点拓扑斯（带有自然数对象、选择公理），证明其与ZFC集合论保守等价，从而提供了以范畴论为基础的数学新基础。其优势在于结构主义、内置逻辑、避免编码冗余。

拓扑斯理论深刻地表明，逻辑与几何并非彼此独立的学科，而是同一数学结构（拓扑斯）的两个侧面：几何对象是层，逻辑是真值对象及其代数结构。这一统一是20世纪数学最重大的思想成就之一，它继续启发着当代的同伦类型论、高阶拓扑斯理论等前沿领域。

结语：统一与升维

从集合论的元素到范畴论的箭头，从ZFC的"属于"到拓扑斯内在的逻辑，公理化的进程并未停止，而是不断抬升维度。每一次升维，都是对"基础"的重新理解：命题逻辑定义了连接词，一阶谓词引入了量词，集合论建立了对象宇宙，范畴论则将宇宙之间的映射和映射之间的映射纳入公理框架。范畴论告诉我们，数学不仅仅是研究对象的学问，更是研究结构保持的变换的学问。而结构的最高形式------范畴------本身又构成一个2-范畴，拥有更丰富的变换（自然变换），乃至变换之间的变换......这无穷上升的阶梯，恰是数学永不凝固的生命力。

本卷是《数学公理体系大全》的最后一卷。我们从命题逻辑的三个模式启程，遍历集合、数系、代数、几何、拓扑、测度、概率，最终到达范畴论这一抽象顶峰。所有分支在公理的阳光下透明如水晶：它们不再是彼此孤立的帝国，而是同一座山脉的不同山峰。公理，就是这座山脉的岩层。希望这段旅程让你感受到，数学并非枯燥定义的堆砌，而是人类理性最华美的协奏曲------每一个音符，都始于一条简单的公理。