范畴论引论 · 从箭头到思想：结构先于个体

本书怎么读：一门关于「关系先于个体」的学问

本书讲一门学问：范畴论——它研究的不是任何一类具体的数学对象，而是「对象与对象之间如何相处」。一定见过这样的场景：线性代数讲「积」，群论讲「直积」，拓扑讲「乘积空间」，集合论讲「笛卡儿积」——名字里都有「积」，构造却各写一遍。范畴论的回答干脆利落：这些「积」是同一个东西的不同读法——都用「一对投影的万有性」来定义，一次定义，处处生效。它带来一串朴素而深刻的问题：为什么「商群」「商空间」「商集」也是同一个构造？为什么「自由群」「自由模」「自由么半群」的构造法完全平行？为什么两个数学对象「一样」竟有不同的严格含义（同构与等价）？为什么说一个对象「是什么」不如说它「与别的东西如何相处」？从 Eilenberg 与 Mac Lane 1945 年的奠基论文〈范畴、函子与自然变换〉，到 Yoneda 引理与伴随函子定理，再到单子理论、拓扑斯与高阶范畴，范畴论八十年只做一件事：把「由关系定义对象」变成一门精确的学问。

本书按章组织：绪论从「每门课都在重复什么」讲起，说清范畴论关心什么、箭头的眼光从何而来；第一章立稳语言的骨架——范畴的定义、例子巡礼、同构与等价、单态射与满态射、始终对象与对偶原理；第二章让范畴之间架起桥——函子、自然变换、自然同构、切片范畴、可表函子与 Yoneda 引理；第三章登第一座主峰——泛性质与极限，积、余积、等化子、拉回、核与余核、指数对象统一为一个句法；第四章请出全册的心脏——伴随函子，自由与遗忘的辩证、单位与余单位、三角等式与伴随函子定理；第五章进入结构的自我生成——幺半范畴、单子、Eilenberg–Moore 与 Kleisli 范畴、伴随单子定理；第六章望向思想的地平线——逻辑即范畴、Curry–Howard 对应、拓扑斯、Lambek 演算与结构主义哲学；综合站用年表、人物谱、方法决策树、两个综合实验与二十四题自查收束全书。

写作的三条约束（本书的自我要求）。① 直觉与例子先行：每一个概念都从一张图、一个具体的小例子讲起——先看见 Set 中两个集合的积怎样「被投影唯一刻划」、自由群怎样「把字母排队再加约简」、列表单子怎样「把副作用装进盒子」，再抽成定义。② 一步一图：凡能画的都画——范畴的箭头图、泛性质的投标图、伴随的三角桥、单子的平方与代数、Lambek 演算的箭头推导。范畴论最迷人的地方，正藏在「同一个定义在不同范畴里长出不同面孔」这条线索里。③ 自给自足：所需工具在书内随用随补——集合与映射、群与环的最基本常识、线性代数的对偶观念、一点拓扑与偏序集，都在需要它的那一页现学现用，不假设手边另有教材。个别深刻的整体性结论（伴随函子定理、伴随单子定理、拓扑斯的公理化、高阶范畴的存在性）给出精确陈述、证明思路与文献指引，数值与程序对拍在实验页随附。

页型节奏。每章以 导引 开篇（一页说清这一章要解决什么）；主体是 讲义 页（概念、定理、证明，一步一图）；每章配 例题 与 习题 各两页（先示范再放手）、知识地图 一页（本章概念怎么连成网）、小结 两页（正面清单＋易错清单）、思想卡（一句话立起本章的哲学）、挑战（一道通向文献的硬题）、实验（一段可复算的程序）、格物札记（中国算学传统里的平行直觉）、速查表（本章公式与记号一页备翻）；章末另设 衔接讲义，把下一章的问题提前立起来。所有编号 可跳读：每一页都自带上下文，随手翻开一页也能读下去。

绪论 箭头的眼光：为什么需要范畴论从「每门课都在重复什么」说起

假设已修过几门数学课：微积分、线性代数、抽象代数、一点拓扑。回过头看，可以撞见一个奇怪的事实——每门课的开头几乎都在讲同一件事。集合论说：集合之间有映射，映射可以复合；抽象代数说：群之间有同态，同态可以复合；拓扑学说：空间之间有连续映射，也可以复合；就连线性代数，讲的也是线性空间之间的线性映射及其复合。

同一个句式重复了四遍、五遍、十遍。数学家对这种重复有一种职业敏感：凡是反复出现的模式，背后必有一个统一的结构。1942–1945 年，Eilenberg 与 Mac Lane 把这个结构正式写了出来：把每门课里的「对象」（集合、群、空间）与「箭头」（映射、同态、连续映射）一起收进同一个定义，命名为——范畴。

读法建议：本书按「章」推进——第一、二章搭起范畴与函子的公理骨架，第三章练成泛性质与极限的方法，第四、五章抵达伴随与单子的高地，第六章全章讨论范畴论给认识论、语言学与哲学的三重启发。若时间有限，读绪论、第一、二章的定义与 Yoneda、第六章全章即可把握主脉。

绪论 箭头的眼光：为什么需要范畴论范畴论是什么：关于数学的数学

一句话直觉。范畴论是「关于数学的数学」：它不研究某一种具体的数学对象，而研究所有数学分支共同使用的结构模式——对象、箭头、复合。就像语法书不写小说，却说明了一切小说为什么会通顺。

这门学问在数学里的位置，可以拿两样东西打比方。第一样是化学的周期表：门捷列夫不研究某一种化合物的具体性质，他排出了所有元素的位置，于是新元素还没被发现，表格里已为它留好了格子。范畴论对「结构」做的事与此相同——极限、伴随、单子这些概念一旦定义，会在群论、拓扑、逻辑、计算机科学里反复撞见它们，仿佛早已预约。

第二样是元语言：语言学家用一套语言去描述另一套语言，逻辑学家用元逻辑去证明某条公理系统的相容性。范畴论是数学的元语言——它的词汇（对象、态射、泛性质）足够抽象，因此足以谈论任何数学分支；又足够严格，因此谈论的每一句都可证明。1945 年 Eilenberg 与 Mac Lane 的奠基论文里，这个「元」的野心已经写在标题中：General Theory of Natural Equivalences（自然等价的一般理论）。

需要立刻打一剂预防针：范畴论的名声之一是「抽象」。但抽象在这里不是逃避具体，而是对具体的极致尊重——正因为把所有无关细节（元素是什么、集合多大、空间几维）统统扔掉，那些真正跨分支存活下来的性质才第一次显形。这与 Euler 处理七桥问题的方式一脉相承：扔掉桥的长短宽窄，只留「谁连谁」；范畴论扔得更彻底——连「对象内部有什么」都扔掉，只留箭头。

一册之约：本册将遵守一条纪律——凡能只用箭头说的定义，绝不偷用元素。这不是苦行，而是范畴论全部力量的来源。

绪论 箭头的眼光：为什么需要范畴论百年路线图：从 Eilenberg–Mac Lane 到今天

范畴论的历史不足百年，却完成了从「代数拓扑的工具」到「数学的公共基础设施」再到「照见思想的镜子」三级跳。路线如下。

第一阶段：工具时代（1942–1957）。范畴诞生时身份卑微——Eilenberg 与 Mac Lane 只想给代数拓扑的「自然同构」一个严格定义，为此不得不先定义函子，又不得不先定义范畴。他们谨慎地预言这些概念「不应被过度使用」，历史很快开了玩笑：这三层概念成了二十世纪下半叶数学的主干语言。

第二阶段：公理时代（1957–1971）。Grothendieck 用 Abelian 范畴重写同调代数（相邻领域的主题正是从这里展开），Kan 发现伴随函子，Lawvere 提出用范畴公理替代集合论公理（ETCS，见第六章），Tierney 与之合作完成拓扑斯理论——逻辑学的「真值」本身可以被范畴化。

第三阶段：跨界时代（1958 至今）。Lambek 1958 年的句法演算把句子结构写成箭头的复合，Montague 把语义做成模型论，2010 年起 Coecke 等人的 DisCoCat 把二者合流并接上量子计算；Moggi 与 Wadler 把单子引入程序语言，今天 Haskell 程序员每天都在使用范畴论。第六章将逐一检视这些「数学之外的战果」。

绪论 箭头的眼光：为什么需要范畴论结构的思想：忘掉元素，只看箭头

传统数学如何看待一个集合？把它打开：看里面装了哪些元素。范畴论提议换一种眼光：不打开，只看它与世界之间的箭头。这个转变小得像一个动作，大得像一次世界观革命。

先看一个例子。两个集合什么时候「一样」？传统答案：存在元素之间的双射。范畴论的答案：可以完全不用元素——两个集合同构，当且仅当「从任何集合射向它们的箭头总是一样多」。换句话说，同构这件事可以只凭箭头判定。这不是换汤不换药：在群、拓扑空间这些范畴里，「元素」往往不好用（拓扑空间的点太多了、群的元素带有运算约束），而箭头永远好用。

哲学家会立刻认出这句话的家族相似：莱布尼茨说「没有两个完全不可区分的事物」（同一不可区分原则），结构主义者说「可区分者皆结构」。范畴论的独特贡献是：它把这句哲学口号变成了可证明的定理。这种「哲学直觉 → 数学定理」的转化将在第六章反复出现，也是本书点题的方向——范畴论对认识论、语言学与哲学的三重启发，源头都在这一页的「换眼」动作里。

一个测试：以后每遇到一个新定义，先问「它用了元素吗？」——若答案为是，试着只用箭头重写它。本册第三章将把这个游戏玩到极致（泛性质）。

绪论 箭头的眼光：为什么需要范畴论预备工具箱：集合、映射、关系与序

范畴论的门槛不高，但需要四样工具趁手。本页集中检点，后文随取随用。

其一，集合与映射。记号从简：f: A → B 表示从 A 到 B 的映射，id_A 表示恒等映射，复合写作 g ∘ f（先 f 后 g）。复合满足结合律 h ∘ (g ∘ f) = (h ∘ g) ∘ f——这条律，它即将升格为「范畴的公理」。

其二，映射的三种品格。单射（不撞车）、满射（全覆盖）、双射（一一对应）。双射即集合的同构。范畴论的第一个惊喜：单、满这两种品格也完全可以用「箭头的可 cancellation 性」重新刻画（第一、二章「单态射与满态射」一节），从而推广到没有元素的范畴。

其三，关系与等价。集合 A 上的二元关系 ~ 若自反、对称、传递，则称等价关系；等价类可以拼成商集 A/~。等价关系是「同一性」的数学化身——「在什么意义上两样东西算一样」，是贯穿本书的哲学暗线（第六章「同一性与 up to iso」专门回收）。

其四，序。自反、反对称、传递的二元关系称偏序；任意两元素可比的偏序称全序。偏序集（如数的整除关系、集合的包含关系）将为范畴论贡献最极简的例子——「薄范畴」：每个 Hom 集至多一个箭头，命题的真假推理本身就是一张箭头图。

若以上任何一项已生疏，不影响主线阅读——本书每用到一处工具，都会在原地给足说明。

绪论 箭头的眼光：为什么需要范畴论中国源流：从《墨经》的「类」到珠算的复合

范畴论的正式诞生在 1945 年的纽约，但它关怀的两个问题——如何按结构分类、如何由复合生新——在中国思想传统里有极早、极深的回响。

「类」：《墨经》的分类学。战国《墨经》提出「故、理、类」三物：「以故生，以理长，以类行」——论证凭理由展开，推理循条理延伸，而贯穿三者的钥匙是「类」：同类方可相推，异类须察其界。《墨经》又言「同异交得」：同与异在比较中生义，不在孤立中显形。这与范畴论的立场惊人地一致——对象在同类的网络中获得意义；也与我们第 5 页的结构主义遥相呼应：先有类（结构），后有物（个体）。

「术」：算法即箭头的复合。《九章算术》的每道「术」都是从已知量到未知量的一条程序：今有粟三斛，欲为粝饭，以「粟米术」化之；再求酒，又以一术继之——上一术的输出恰是下一术的输入，术与术可以串联复合。这正是范畴论眼里态射的复合：箭头必须首尾相接，复合满足结合律。刘徽注《九章》，更是把「率」作为贯穿诸术的枢纽——关系（率）先行，数值随后（第三章札记专述）。

珠算：口诀即复合的口诀化。程大位《算法统宗》的归除口诀「二一添作五，逢二进成十」——每句口诀是一个原子操作，连续念诵口诀，就是把原子操作依序复合。第一、二章札记将把这一观察精确化：《九章》之术即态射，珠算口诀链即复合律的民间形式。中国数学「重术」的传统常被误读为「轻理」；以范畴之眼重看，术正是箭头，术之链正是结构。

绪论 箭头的眼光：为什么需要范畴论本册的分工：六章与三重启发

本册是 K2C 正文 C 段的一册，与姊妹诸册的分工如下。会认得其中三个概念的雏形（模范畴、函子与正合性）；没读过的也完全无碍——本册自足，所有需要的背景都在绪论与第一、二章内备齐。

第一、二章「范畴与函子」：公理骨架。范畴定义、四大例子巡礼（Set、Grp、Top、Vec 加偏序集）、对偶原理、单态射与满态射、函子三层级（函子 / 自然变换 / 函子范畴），以 Yoneda 引理压轴——它是「关系即本质」的定理形式，全书第一根支柱。

第三章「泛性质与极限」：方法论。把「只用箭头下定义」练成体系：始与终、积与余积、等化子、拉回与推出，收拢为极限与余极限；指数对象与 Cartesian 闭范畴为第六章的逻辑篇埋线。方法论承诺：凡万有者必本质上唯一。

第四、五章「伴随与单子」：理论高地。伴随是范畴论最重要的单一定理——自由与遗忘的辩证、Galois 连接、右伴随保持极限；幺半范畴与张量积；单子把「结构来自复合」落成列表、Maybe、闭包等可执行的程序构造。

第六章「范畴、语言与思想」：本册的特色章，全章回答一个超越数学的问题——范畴论给人类思想带来了什么？分三线推进。语言学：Lambek 演算把句法做成范畴、组合语义把意义做成函子、DisCoCat 把文法接上计算；认识论：结构主义如何回答「数学对象是什么」、Yoneda 如何把「认识即知关系」变成定理、不变性如何重塑「客观性」；哲学：ETCS 与集合论基础之争、三大流派（柏拉图主义、形式主义、结构实在论）在范畴论视野下的重排、「up to iso」的世界观。

三重启发不是附录，而是正文的一半灵魂：前五章蓄水，第六章发电。绪论各页已为它们预留了伏笔——读到时「第六章回收」的标记。

绪论 箭头的眼光：为什么需要范畴论全书路线图

全书 198 页的地形如下：一条明线（从箭头到思想）贯穿六章，一条暗线（结构先于个体）由绪论埋下、第六章收束；两根定理支柱（Yoneda、伴随）分别在第一、二章与第四、五章铸成；综合站收拢全景。

阅读的三条推荐路径：主线（全书顺序读，约一学期）；思想线（绪论 → 第一、二章 Yoneda → 第六章全章，适合哲学与语言学背景的，数学细节可缓）；计算线（绪论 → 第一、二章函子层 → 第四、五章单子 → 综合实验二，适合计算机背景的）。三条线殊途同归于同一句结语：结构先于个体。

第一章 范畴：对象与箭头第一章导引：把数学拍成一张航拍图

站在地面看一座城市，看到的是一条条街道、一栋栋房子；坐上飞机俯瞰，看到的是街区之间的连接——环路如何串起新区，地铁线如何穿过老城。城市没有变，眼光变了，结构就显形了。

本章为全部数学拍这样一张航拍图。地面上，见过集合、群、拓扑空间、向量空间——每个分支有自己的对象、自己的映射、自己的公理；升到空中，它们都是同一样东西：一批对象，对象之间的一些箭头，箭头可以首尾相接。这个统一视角就叫范畴；而把一张地图叠到另一张地图上的对照关系，叫函子；函子之间的对照，叫自然变换——三层结构层层相套，构成本章的主楼梯。

本章路线：先立范畴的公理（两页定义、四页例子巡礼），再升第一层——函子；再升第二层——自然变换；然后两件利器登场：可表函子与Yoneda 引理（本章压轴，也是全书的支点）。章末各页照例：例题、习题、地图、小结、思想卡、挑战、实验、札记、速查。

第一章 范畴：对象与箭头1.1 范畴的定义：对象、态射与两条公理

一句话直觉。一个范畴就是一张有向箭头图，规则只有两条：箭头能接着走（复合），每处原地有不动箭头（单位元）。

注意定义里没有任何关于「元素」的话：对象可以不是集合，态射可以不是映射；要求的只是「箭头可接、接法规矩」。这种刻意的贫乏，正是它后来富有的原因——凡是满足两条公理的结构，范畴论的全部定理对它自动生效。

两条公理早已见过千百次：映射的复合满足它们，同态的复合满足它们，矩阵乘法也满足它们——这不是巧合，而是「它们都是某个范畴里的箭头」的第一声回响。

第一章 范畴：对象与箭头1.2 例子巡礼（上）：Set、Grp、Top、Vec

定义的价值要靠例子兑现。四大「实体范畴」登场——它们对象不同、箭头不同，但公理一字不差。

逐行过一遍公理的「验票口」：Set——映射复合结合律是第 6 页的旧知识；Grp——两个同态的复合仍保结构（φ(ab) = φ(a)φ(b) 与 ψ 的同类等式串起来即可），结合律继承自集合层面；Top——连续映射的复合连续（ε–δ 或开集原像的旧题）；Vec——线性映射的复合线性。四个范畴，「对象 + 保结构箭头」句式完全同构（绪论第 2 页的预告在此兑现）。

值得停下来想一秒的是 Top：连续映射的复合连续，这条在分析课里用了一学期的事实，在这里的角色只是验票——保证 Top 配得上「范畴」这个名字。范畴论把每门课的入场手续变成统一的仪式。

以后每遇一个新结构，先问两句：它的对象是什么？它的箭头是什么？——答案落进范畴定义的那一刻，全书积累的定理即刻为所用。

第一章 范畴：对象与箭头1.3 例子巡礼（下）：偏序集是「薄范畴」

实体范畴之外，还有两个「瘦削」的例子——它们把范畴定义的弹性发挥到极致。

这样的范畴称薄范畴（thin category）。在薄范畴里，范畴论的命题全部退化为序论的命题：同构＝元素相等（x ≤ y 且 y ≤ x，即反对称）；「始对象」将是序论的最小元，「终对象」是最大元（第 17 页兑现）；第四、五章的 Galois 连接，正是两个偏序集之间的一对特殊函子。序论曾经学过的每句话，都会在范畴论里找到它的「原型」。

反之，任何单对象范畴恰是一个幺半群。「范畴」同时推广了「偏序集」与「幺半群」：前者是每对对象至多一条箭头（序结构），后者是只有一个对象（代数结构）——两个看似无关的本科概念，原来是同一张蓝图的两块剪影。

把「同一种公理、不同贫富」排成谱系：幺半群（1 个对象）— 群范畴（对象多、箭头丰富）— 偏序集（箭头至多一条）— 离散范畴（只有单位箭头）。范畴论的定理在整条谱系上同时成立，这正是「抽象的力量」的兑现处。

第一章 范畴：对象与箭头1.4 对偶原理：把箭头翻转的世界

范畴论有一种别处罕见的「买一送一」：每证明一个定理，免费获赠另一个定理。这份赠品的名字叫对偶原理。

验证两条公理：结合律——h^op ∘ (g^op ∘ f^op) = h^op ∘ (f ∘ g)^op = ((f ∘ g) ∘ h)^op = (f ∘ (g ∘ h))^op = (g ∘ h)^op ∘ f^op，与 C 中的结合律是同一句话的正反读法；单位律平凡。两次翻转复原：(C^op)^op = C。

证明只需一行：对一切范畴成立的命题，当然对一切 C^op 成立；而 C^op 中的 P 读出来恰是 C 中的 P^op。便宜归便宜，后果深远——比如「单态射」与「满态射」（第 16 页）、「始对象」与「终对象」（第 17 页）、「积」与「余积」（第三章）都是彼此的对偶：证明了一个，另一个不用再证。

使用对偶原理有一门小手艺：并非所有命题都有漂亮的镜像（「一切范畴有单位元」的对偶是它自己）。判别法：命题里出现「从……出发」之类的方向词，翻转后往往换一个概念的名字。本册对偶概念将成对出现，留意每对定义的「免费」标记。

第一章 范畴：对象与箭头1.5 同构与等价：什么时候两个范畴「一样」

「一样」有两档强度，先看弱的一档——对象层面的同构。

在四大实体范畴里，同构就是老朋友：Set 中的双射、Grp 中的群同构、Top 中的同胚、Vec 中的线性同构——「保结构 + 可逆」在箭头语言里的统一表达。

再升一档，看范畴之间的「一样」。这需要函子（第 41 页），此处先给结论以供回望：

一个立竿见影的例子：设 vFd 为有限维线性空间范畴。任取维数 n，一切 n 维空间彼此同构；于是 vFd 在等价意义下的「清单」就是自然数集 0, 1, 2, …——这份去重后的清单称为骨架。vFd 与它的骨架范畴等价，却不同构（对象个数都对不上）。范畴论关心等价远胜于同构，这是它与集合论气质最深的分歧之一，也是第六章「up to iso」世界观的数学根。

一句话记忆：同构问「逐个对象能否配对」，等价问「结构类是否穷尽」。序论里已经用过等价的眼光——「偏序集的同构型」数的就是骨架，不是标记。

第一章 范畴：对象与箭头1.6 单态射与满态射：箭头语言里的单射满射

「单射」「满射」是元素语言的孩子；范畴论用消去律给它们换了箭头语言的父母。

两条定义互为对偶（第 14 页：把箭头调头、mono 换 epi，定义原样成立）——免费定理的机制第一次实战。验票：在 Set 中，设 m 非单射，取 a ≠ a' 同像，令 g,h: X → A 分别把某点送到 a, a'（其余点同值），则 m∘g = m∘h 而 g ≠ h，故单射 ⟹ 单态射；反过来的方向也容易（考察两点域 {0,1}）。于是 Set 中单态射＝单射、满态射＝满射；Grp、Vec 同法验票通过。旧概念在箭头语言里顺利落地。

但箭头语言马上给出一个元素语言给不出的警告：在含幺交换环范畴 CRing 中，自然含入 ℤ → ℚ 是满态射却远非满射——两个环同态若在 ℤ 上相等，因它们必保 1，进而在所有整数上相等；而整数相等则分数四则（同态保逆）逼它们在 ℚ 上也相等。右消去成立，像却薄得很。教训：「满态射」不必「像覆盖全部」；在哪些范畴里两者重合，是需要逐个验票的定理，不是天经地义。

同构 ⟺ 既是单态射又是满态射吗？在 Set 成立；但在一般范畴这是需要条件的——「平衡范畴」的概念将在习题课（二）讨论。箭头语言处处在追问：哪些性质属于「结构」，哪些只是「元素的恩惠」。

第一章 范畴：对象与箭头1.7 始对象与终对象：空与全

范畴论的第一个「泛性质」定义不需要函子，现在就能读——它也是最短的一个。

二者互为对偶（把 Hom 的箭头调头）。各自的速记：始＝「出发的箭头唯一」，终＝「抵达的箭头唯一」。巡礼验票：

注意 Set 行：始对象到 ∅ 自身有一条箭头（id），恰一条——「空映射」的存在是约定，而范畴语言把这条约定变成了公理的推论。再看 CRing 行：始对象是 ℤ，因为保幺环同态从 ℤ 出发别无选择（1 ↦ 1 逼出全部整数）；这个「无选择」将在第 49 页升格为一句漂亮的话——ℤ 表示「取底集」这个函子。

证明只用了「恰有一个」四个字——这就是泛性质的方法论：**不指定对象是谁，只规定它与世界的关系，唯一性自动到账**。第三章的积、余积、极限，全是这台发动机的放大版。

对偶速查：始的对偶是终。「空与全」这对意象在 Set 里最直观——空集什么都给不出（所以从它出发的箭头只能唯一），单点集什么都装不下（所以抵达它的箭头只能唯一）。

第一章 范畴：对象与箭头1.8 群与幺半群：单对象范畴

一句话直觉。群论研究「元素相乘」，范畴论研究「箭头复合」——把一个群的所有元素看成同一支箭头的复本，乘法就成了复合。这不是比喻，而是精确的数学同构。

第一章 范畴：对象与箭头1.9 Hom 集合：把态射收进集合

一句话直觉。范畴的公理只谈「箭头可接、接法规矩」，而「箭头全体」本身也要住在一个集合里——这就是 Hom 集合。把态射收进集合，「数箭头」「比较箭头集的大小」这类操作从此合法。

第一章 范畴：对象与箭头1.10 交换图：证明的图形语言

一句话直觉。交换图是范畴论的「乐谱」：对象是音符，态射是旋律线，「两条路径必落在同一个音」是唯一的演奏规则。

第一章 范畴：对象与箭头1.11 追图法：从交换图读出等式

一句话直觉。追图法（diagram chase）＝ 在交换图上「沿着箭头走路」：想去哪儿，就把已知方块当桥，一步步把元素（或箭头）从起点送到终点。

第一章 范畴：对象与箭头1.12 等价三件套：忠实、满、本质满

一句话直觉。「两个范畴一样」有两档严格含义：同构（逐对象逐箭头对上，太苛刻）与等价（允许差一层同构的模糊，数学真正在用的那档）。等价的体检单有三张。

第一章 范畴：对象与箭头1.13 骨架化：等价类的标准形

一句话直觉。同构的对象彼此是复本；把复本扔掉、每类留一件真品，得到的就是骨架——范畴的「压缩包」，解开还是原范畴。

第一章 范畴：对象与箭头1.14 对偶定理：证明一遍得到两个

一句话直觉。对偶原理是范畴论的制度性福利：证明一遍，白拿一份。1.4 已见反范畴的定义，本页把它升级成「定理生产线」。

第一章 范畴：对象与箭头1.15 小范畴的枚举：看见范畴自身

一句话直觉。范畴不多——小数目的对象只撑得起少数几种合法的箭头图。把前几个 n 的范畴一个个列出来，抽象定义立刻变得可以「过目」。

第一章 范畴：对象与箭头1.16 常见误读与澄清

一句话直觉。新语言的错误大多不是「不会算」，而是「拿旧直觉偷换新定义」。本页把第一章最常撞的五面墙钉在一张卡上。

第一章 范畴：对象与箭头例题课（一）：范畴与态射判定

判定类题目的通法：先写清「对象送什么、箭头送什么」，再逐条过两律；单满判定一律回到消去律，始终判定一律回到「恰有一个」。

第一章 范畴：对象与箭头例题课（二）：等价与对偶的构造

构造自然变换的三步流程：① 定分量（每个对象一根映射）；② 验自然方块（对一切箭头）；③ 若自称「同构」，逐对象验可逆。跳过第②步是初学第一大坑——「一族好映射」不等于「一个自然变换」。

第一章 范畴：对象与箭头习题课（一）：基本功

本页六题全部「基本功」——定义直用、无需新思想；目标是在动笔第三章前，把消去律、两律验票、「恰有一个」三个动作练到不假思索。

第一章 范畴：对象与箭头习题课（二）：进阶

本页六题开始「进阶」：习 1 是 Yoneda 的心脏，习 5–6 涉及把「调头」当作数据使用。卡住时回到第 50 页的三行证明——答案全部藏在那里。

第一章 范畴：对象与箭头第一章知识地图

本章 16 节的地形：一条主轴（定义 → 例子 → 对偶 → 同构与等价 → 单／满 → 始／终），两座侧峰（把态射收进 Hom 集合；用交换图与追图法做计算），三条与相邻领域的接口用金色标注——它们不是装饰，是「这门语言可以向外说话」的证据。

三条「主线走法」：赶路者走金色主轴（p11 → p12–13 → p14 → p15 → p16 → p17）；好古者沿棕色对偶线——对偶原理（p14）贯穿全章，p16 与 p17 的成对定义是它的第一批收成；接桥者走蓝色接口（p19 的 Hom 集合直通相邻领域的模与复形，p20–21 的交换图回望相邻领域的 π₁）。三条线在「等价三件套」处汇合：范畴论只数结构，不数对象。

第一章 范畴：对象与箭头第一章小结（上）：定义与例子

上半章六件带走。逐条给出页码，复习时先遮住细目自测复述。

一、公理骨架（p11）。范畴＝对象 + Hom 集 + 复合 + 单位元，两条公理（结合律、单位律）；刻意不谈元素——凡是满足公理者，定理通吃。局部小＝每对对象之间的箭头成集。

二、例子谱系（p12–13）。实体范畴 Set／Grp／Top／Vec 共用同一句式「对象 + 保结构箭头」；偏序集＝薄范畴（至多一条箭头）——序与代数同框。

三、群与幺半群的单对象读法（p18）。一个对象 + 一支自箭头 = 一个幺半群；再要求箭头可逆，就是群。群作用＝从单对象范畴出发的函子；每个对象自带自同态幺半群 End(A)。

四、对偶原理（p14）。C^op 把箭头全体调头；一切「纯箭头命题」买一送一。mono／epi、始／终、积／余积皆成对出现。

五、「一样」的两档（p15）。态射同构（可逆 + 逆唯一）；范畴等价（全忠实 + 本质满）——范畴论计「结构类」，不计「对象个数」。

六、箭头语言重写旧概念（p16–17）。mono／epi＝左／右消去律（警告：CRing 中 ℤ → ℚ 是 epi 非满）；始／终＝「出发／抵达的箭头恰一条」，本质唯一。

上半章给出的是「名词」：对象、箭头、复合、同构、始与终。下半章给出「语法」——交换图与追图法，以及度量「两个范畴一样」的三件套。把这六件收好，第一章只剩收束。

第一章 范畴：对象与箭头第一章小结（下）：等价与对偶

正面清单（本页管下半章）。

与上半章的接口。上半章（定义、例子、单/满、始终对象）提供「名词」，下半章（图、追图、等价、对偶）提供「语法」。二者合起来，范畴已是一门可写可读的语言——但还没有「句子之间的翻译」。下一页的衔接讲义请出翻译官：函子。

第一章 范畴：对象与箭头思想卡：对象是它的关系之总和

回到第 5 页的「换眼」动作：当时是一个提议，如今是一个定理。下一页的挑战将说明：这条纲领如此之紧，连范畴公理本身都动它不得。

第一章 范畴：对象与箭头挑战：范畴公理的独立性

公理体系像石拱桥——抽走一块石头，桥塌还是自立？本页做两次「抽石头实验」，看看两条范畴公理谁也离不开谁，以及谁还能再省。

实验一：结合律救不了单位律。取「右零半群」：x·y = y（取后者）。结合律验证：(x·y)·z = z = x·(y·z) ✓。但单位元存在吗？需 e·x = x 且 x·e = x——第一条要求 x = e 对一切 x，多元素集合上不可能。结论：结合律 + 右单位不成单位律；左右单位须同时约定（或约定「双侧」）。顺手可得一个精致推论：若 e 只是左单位、且有右逆可消，则可推出双侧单位——「左单位 + 右零 + 可消」三角中最弱的一角也能撑起全局，这正是挑战的精神：搞清每条公理的承重结构。

实验二：只有单位律会怎样？取任意集合配「右投影」x·y = x。单位律要 e·x = x——即 e = x 对一切 x，多元素上又失败。而结合律呢？(x·y)·z = x·z = x = x·(y·z) ✓。两次实验合读：两条公理在「多元素」世界里相互独立——谁也不能从谁推出来；只在单元素世界里它们才彼此重合（此时一切运算自洽）。

实验三：单位元唯一性的省写。第 11 页证明了单位元唯一。能否更省：只要求存在左单位与右单位（不必是同一个），推出双侧单位存在且唯一？答案是可以——经典的「左右相遇」论证（习题课（一）第 4 题的升级版）：设 e_Lx = x、x e_R = x，则 e_L = e_Le_R = e_R。∎范畴定义的「每对象一根 id」写法，正是把这个省写预先打包。

延伸：范畴论文献里还有「半范畴」（无单位律）与「预序充盈」等削公理游戏——它们不是无聊练习，而是在测绘「定理的势力范围」：每条定理到底吃几条公理？Yoneda 吃「局部小 + 单位律」全餐，一个都不能少。

第一章 范畴：对象与箭头实验：小范畴的枚举与计算

单对象范畴＝幺半群（第 13 页）——这条等式让「范畴」可以被程序穷举。本实验：写一个验票器，把小集合上的一切「候选结构」过一遍公理安检。

# 半自动验票：给一张乘法表，判断它是否构成幺半群（= 单对象范畴）
def check(table, elems):
    # table[(x,y)] = x*y ；elems 为元素列表
    for x in elems:
        for y in elems:
            for z in elems:                      # 结合律
                if table[(x, table[(y, z)])] != table[(table[(x, y)], z)]:
                    return False, "associativity"
    for e in elems:                              # 找双侧单位元
        if all(table[(e, x)] == x and table[(x, e)] == x for x in elems):
            return True, ("unit = %s" % e)
    return False, "no unit"

# 2 元素实验：枚举全部 24 = 16 张候选乘法表
from itertools import product
elems = [0, 1]
ok = [t for t in product(elems, repeat=4)
      if check({(x, y): t[x * 2 + y] for x in elems for y in elems}, elems)[0]]
print(len(ok))   # 输出 4 ：单位元 2 种选择 × 另一元素自乘 2 种去向

# 同构意义下仅 2 个：C2 型（另一元素自乘得单位）与 2 链型（自乘得自身）

实验报告三问。① 16 张表中，为何「单位元选择 ×2」乘「自乘去向 ×2」恰好穷尽？（提示：单位元素确定后，另一元素 a 的 e·a、a·e 被单位律锁死，唯一自由的是 a²。）② 把 4 张合格表逐个画出：哪张是 C₂（二阶群），哪张是二链偏序集（min 或 max）？③ 换 3 个元素：候选表 3⁹ = 19683 张——运行程序数出合格者（程序会自动数完），并与学生对拍结果；再思考：同构意义下还剩几个？（提示：先用单位元个数初筛，再做乘法表的同构搜索单。）

这枚小验票器正是范畴论「公理贫乏」的兑现：判定一个结构是不是「单对象范畴」，不需要任何群论、序论知识——两条公理，一份乘法表，程序即可代劳。第三章的实验将升级它：枚举「两条箭头的图」的全部锥形，亲眼看见极限的唯一性在枚举中浮出。

动手纪律：把 check() 中的结合律换成「只验单位律」再跑一遍 2 元枚举——合格表会变多吗？多出的是哪些「有单位不结合」的怪结构？（与第 35 页实验二互证。）

第一章 范畴：对象与箭头〖札记〗《九章》的「术」即态射

绪论第 7 页埋下伏笔：中国算学的「术」是箭头思维的算法形态。本页把这句话做成一张对照表与一张图——这枚札记是本册中西对照线的第一站，第四、五章（珠算口诀）与第六章（墨辩三物）将各自续一站。

「术」的箭头身份。《九章算术》粟米章开卷即立「今有术」：以所有数乘所求率为实，以所有率为法，实如法而一。译成现代话：已知量 A（所有数）在「所有率」r₁ 之下，换成所求量 B，取值 B = A × r₂/r₁。这是一条从「粟」到「米」、从「米」到「菽」的通用换算程序：它有明确的「出发点」（已知量）、明确的「抵达点」（所求量），并且——关键的一步——两段换算可以首尾相接：粟 → 米的术接着米 → 菽的术，效果恰是粟 → 菽的复合。刘徽注里反复出现的「术可相错」，说的正是复合的合法性；而「率」在诸术之间保持不变换算关系，正是复合的结合律在算学现场的运作。

为什么这是范畴论式的眼光？因为《九章》的作者们关心的从来不是「粟有几斗」这个对象，而是「怎样从一类量走到另一类量」这条箭头；诸术的编排（先化粟为米，再化米为菽）是纯粹的复合设计。以范畴之眼重读《九章》： 它是一部态射手册——九章各章是一个「态射库」，题是「态射的调用实例」，而「注」是「复合的合法说明书」。绪论说中国数学「重术」常被误读；现在可以说得更准：术正是箭头，重术即重关系——与 Yoneda 的纲领（对象是关系的总和）隔两千年级相视一笑。

下一站预告（第四、五章札记）：珠算口诀「二一添作五」——单句口诀是原子箭头，口诀串是复合链，恰是第四、五章「单子」的民间预演。

第一章 范畴：对象与箭头第一章速查表

使用建议：本表按「定义—定理—接口」排列，复习时先遮出处列自测复述；第二章的速查表把「函子与自然变换」一族接续在「同构」一行之后，两表合读即得全书语汇的骨架。

第一章 范畴：对象与箭头衔接讲义：通往函子——让范畴之间架起桥

第一章完成了什么。立稳一门语言的词汇与语法：范畴（名词）、态射（动词）、交换图（句法）、等价与对偶（修辞）。但每个范畴都是一座孤岛——「范畴与范畴之间」还是一片空白。

第二章 函子与自然变换第二章导引：让范畴之间有了桥

一句话直觉。函子是范畴之间的「保结构翻译」：把 C 的对象与态射整批送往 D，复合表与单位元原样保真。自然变换则比较两个翻译——要求「换一种译法，答案本质上一样」。

第二章 函子与自然变换2.1 函子：范畴之间的映射

范畴立起来了，下一步是比较范畴。比较者必须自己守范畴的规矩——这就是函子。

函子是「保结构的映射」的升级版：同态保乘法，连续映射保邻近，而函子保「复合结构」本身——它不问 C 与 D 里装的是什么，只要求箭头图被原样搬进目标范畴（交换图搬过去还是交换图）。验票两例：① 常值函子——一切对象送 B₀，一切箭头送 id_B0，两律立验；② 遗忘函子 U: Grp → Set——群送底集、同态送原映射，「保复合」自动（集合层面的复合没变）。

验票练习（例题课（一）将正式做）：「把每个集合送到它的幂集、每个映射送到直接像」是 Set → Set 的函子；把「直接像」换成「原像」，两律还成立吗？——答案藏在第 43 页。

第二章 函子与自然变换2.2 函子的例子：幂集、自由与遗忘

三个高频函子登场，它们将贯穿全书并在第四、五章结出「伴随」之果。

其一，幂集函子。P: Set → Set：集合 A 送幂集 P(A)（全体子集）；映射 f: A → B 送直接像 f_!: P(A) → P(B)，f_!(S) = {f(s) : s ∈ S}。验票：直接像的复合 (g∘f)_! = g_!∘f_!（子集逐点过两道）与 id_! 为恒等，两律成立。

其二，自由函子。F: Set → Grp：集合 X 送自由群 F(X)——以 X 为字母表、由「词」与约化规则构成的群（如 x y x⁻¹ 这样的字，相邻逆字母对消）。直觉：不施加任何额外关系，把集合「放生」成群。它的泛性质（任何映射 X → U(G) 唯一扩张为同态 F(X) → G）是第四、五章「伴随」的第一主角。

其三，遗忘函子。U: Grp → Set（也用于 Ring→Set、Top→Set……）：把结构忘掉，只留底集。它「什么都不做」却绝不平凡——第四、五章将证明：自由与遗忘天生一对（伴随对），「造结构」与「拆结构」是同一枚硬币的两面。

检索旧知的接口：相邻领域第一、二章的「自由模与基」正是 F: Set → Vec 的实例；当时「基的唯一表出」，就是自由性。本册把这类现象一网打尽。

第二章 函子与自然变换2.3 反变函子与对偶函子

箭头也有逆行版本。第 41 页的验票练习在此揭晓：「原像」走的是反方向。

与协变只差两处：箭头调头、复合倒序。而这两处恰可合并成一句干净的话——反变函子 C → D 就是协变函子 C^op → D（也等价于 C → D^op）。对偶原理（第 14 页）在此兑现第一笔红利：本册此后只证协变版本，反变结论全部自动继承。

原像函子。P^∗: Set^op → Set：对象仍送幂集；f: A → B 送原像 f^∗: P(B) → P(A)，f^∗(T) = f⁻¹(T)。验票：(g∘f)⁻¹ = f⁻¹∘g⁻¹——分析课的旧题，正是「倒序」公理。

对偶空间函子。线性代数的招牌例子：(−)^∗: Vec^op → Vec，空间 V 送对偶空间 V^∗ = Hom(V, k)（线性函数全体）；线性映射 f: V → W 送拉回 f^∗: W^∗ → V^∗，f^∗(φ) = φ ∘ f——函数本来就从 W 出发，被 f 一接，出发点变成 V，方向自然倒转。「行向量转置」「对偶基」「矩阵的转置」，全是这条函子在具体基下的面孔。

术语预警：本册「函子」默认协变；说反变时一定点名。凡遇反变命题，先翻成 C^op 的协变命题再动手——这是省一半笔力的固定动作。

第二章 函子与自然变换2.4 函子的复合与 Cat：范畴的范畴

函子能接龙吗？能——而且接法严丝合缝。

每个范畴 C 有恒等函子 id_C。于是——「对象＝小范畴，箭头＝函子」恰好又是一个范畴！记作 Cat（严格说，对象取「小范畴」——对象集与 Hom 集皆为集合的范畴，避免集合论悖论）。这是范畴论的第一次自我复制：范畴论不但谈论一切数学，它自己也成了被谈论的一员。

自相似立刻给出新例子：偏序集的范畴 Pos、群的范畴 Grp（把每群看成单对象范畴后所得）、单对象子范畴的枚举……都是 Cat 里的对象。更妙的是，Cat 里的「同构」就是范畴同构，而「等价」正是第 15 页的范畴等价——vFd 与其骨架在 Cat 中等价的那句话，如今是 Cat 内部的一个箭头事实。

小范畴的尺寸纪律：Cat 只收「小」范畴（Hom 集都是集合）。Set 本身不小时，处理要靠更大宇宙的 Grothendieck 万有域技巧——本册点到为止，只提示：第 11 页「局部小」的括号，在此兑现。

第二章 函子与自然变换2.5 自然变换：函子之间的箭头

范畴论的第三级楼梯：函子也要能相互比较。1942–45 年，Eilenberg 与 Mac Lane 正是为了说清「自然」二字才发明这一切——「自然变换」是整座大厦最初的心跳。

方块说的是：先在 A 处「换轨」再运货（Gf∘α_A），与先运货再在 B 处换轨（α_B∘Ff）结果相同。「自然」的日常含义——不依赖任意选择——在此变成一条可验证的交换等式。若每根分量都是同构，称α 为自然同构（下一页专述）。

第一个实例：阿贝尔化。对每个群 G，商群 G_ab = G/[G,G]（换位子子群的商）是阿贝尔群；投射 η_G: G → G_ab。取阿贝尔化是函子（同态 φ 送诱导商同态），而「取像为投射」这件事是自然的：对任何同态 φ: G → H，方块「先投射再诱导」＝「先诱导再投射」——因为同态把换位子送成换位子，商结构兼容。一句话：η: id ⇒ ab 是自然变换。「任何同态都兼容商映射」——凡学过群论者都默默用过这个事实，范畴论把它点名成图。

分量符号 α_A 的下标是对象，不是元素——「每个对象一根分量」，这就是函子之间比较的全部内容。例题课（二）将亲手验证两族分量是否合格。

第二章 函子与自然变换2.6 自然同构：「本质上唯一」

当自然变换的每根分量都是同构，我们得到范畴论最常用的一个词——「本质上」。

正例：有限维双对偶。对有限维线性空间 V，取 ι_V: V → V^∗∗，ι_V(v)(φ) = φ(v)（把向量看成「给线性函数打分的人」）。每根分量是同构（维数相等、单射足够），而方块自动交换——ι_W∘f = f^∗∗∘ι_V 两边都是 ι_W(f(v))(φ) = φ(f(v))，逐点可验。于是 id ≅ (−)^∗∗ 是自然同构。

反例：单对偶。V ≅ V^∗ 在有限维也成立（维数相等），但不自然：每个同构都须先选一组基，把基映成对偶基；换一组基，同构跟着换。范畴论对「依赖基的选择」给出了精确判词——那是一个自然性不成立的同构族。教材里常说的「典范同构」「典范映射」，范畴论的翻译正是：自然（或不自然）。

「本质上唯一」句式预告：泛性质（第 17 页）证明的唯一性都「up to iso」——对象同构唯一；配上函子与自然变换后，整句话升级为「表示函子本质唯一」（第 49 页）。「本质」从此有严格语义。

第二章 函子与自然变换2.7 函子范畴与箭头图

把第 45–46 页的新居民安家：自然变换之间能不能复合？能——逐对象复合分量即可，且两律易验。于是又一轮「自我复制」：

第三层楼梯修完：对象、函子（一阶箭头）、自然变换（二阶箭头）——范畴论是一台三层发动机，且每层都守同一套公理。 Cat（第 44 页）与函子范畴 D^C 的分工：前者以范畴为对象，后者以「固定两个范畴之间的函子」为对象——后者像把镜头对准一对城市之间的全部航线。

箭头图也是函子。最简单的小范畴之一：形如 • → • 的两点一箭范畴（记作 2）。一个函子 F: 2 → C 是什么？两个对象、一条箭头——就是 C 里的一张一箭图！三角范畴 3（三点三箭成三角形）的函子，是 C 里一张交换三角图。于是「画交换图」这个动作获得了严格身份：交换图＝从图范畴出发的函子；「图交换」＝函子性自动保证的等式。第三章的极限将把「图」用到极致——极限就是「对一张图取万有锥」，而已经掌握了图的严格定义。

三层总结：范畴论的所有「图」都活了——它们不是插图，而是函子；画的每张交换图都在声明一条定理级别的等式。本册的「一步一图」因此字字有据。

第二章 函子与自然变换2.8 切片范畴：在对象之上工作

范畴论的又一种「取局部」手艺：不换范畴，而是站到某个对象之上看全局。

验票：复合 h'∘h 后 g∘h'∘h = g∘h∘(?)——由 h 与 h' 各自的交换三角串联即得；单位元是 id_X（f∘id = f）。两律成立，C/A 是货真价实的范畴。

Set 中的切片最直观。对象 f: X → A＝「A-标记集」：每个 a ∈ A 头顶挂着一袋元素 f⁻¹(a)（纤维）。态射＝保标记的映射（h 必须把 a 头顶的元素送到 a 头顶）。于是 Set/A 恰是「逐纤维工作的集合论」——A = {红,蓝} 时，一个切片对象就是「一袋红元素 + 一袋蓝元素」。

两个速算：当 1 是终对象（单点集），Set/1 ≅ Set——盖在一点上毫无约束，切片退化回原范畴（习题课（二）第 4 题验票）。当 A = B ⊔ C（两个标记），Set/A ≅ Set × Set——标记集逐纤维分裂。切片是第三章「拉回」的伏笔：我们将证明，两个切片对象的「积」（在 C/A 里取）恰是原范畴中的拉回——届时「拉回」这一新名词将是免费赠品。

对偶地有余切片 A/C（对象＝从 A 出发的箭头）——又一次免费镜像。切片的思想在几何里叫「在底空间上工作」，在层论里叫「茎」，在数据库里叫「按主键分组」：同一手艺，处处留名。

第二章 函子与自然变换2.9 可表函子：对象如何「被问到」

本章的两大主角即将同台。第一位：可表函子——它把「对象」翻译成「一整个提问程序」。

回忆第 11 页：Hom 是「数据」——对每个 B，集合 Hom(A,B) 数出「从 A 到 B 的方式」。Hom(A,−) 是函子（箭头 f: B → B' 以后复合送过去：Post_f，两律即结合律）——它叫 A 的共变表示，或说「A 的提问程序」：到一个新对象 B，先问一句「从 A 出发能怎么走？」

两个好例子。① 在 Grp 中，「取底集」函子 U: Grp → Set 被整数加法群 ℤ 表示：Hom_Grp(ℤ, G) ≅ U(G)——同态由 1 ↦ g 的 g 唯一决定（第 17 页「无选择」的复述），且对 G 自然而然。② 在 Set 中，Hom(2, −)（2 = {0,1}）把 B 送到 B × B ≅ B²——「带两个标签的取点」，它表示了「取有序对」这个操作；一般地 Hom(n,−) ≅ (−)ⁿ 是「取 n-元组」。

逆过程也值一问：拿到一个 Set 值函子 F，何时它是某个对象的问卷？——「可表性定理」是高级课程的主题；本册满足于：凡是泛性质定义的东西，几乎都以可表函子的面目出现（积、指数、始与终……第三章逐一兑付）。

第二章 函子与自然变换2.10 Yoneda 引理：关系即本质

范畴论的第一定理。它短小到可以印在名片上，深刻到值得用第六章一整章消化。

证明（三行）。① Φ_x 自然：对 h: B → B'，两边都算出 F(h∘f)(x)。② Φ 与逆互消：Φ(Φ_x) = Φ_x(A)(id_A) = F(id_A)(x) = x（保单位律）；反过来，任一 α 的分量在 f 处，用自然方块「拆引线」（记 x = α_A(id_A) = Φ(α)）：

α_B(f) = α_B(Hom(A,f)(id_A)) = F(f)(α_A(id_A)) = Φ_x(B)(f)

——α 在任何处的取值，被它在 id_A 处的取值完全决定，故 Φ_Φ(α) = α。两条合成，双射到手。∎

推论正读：若两个对象的「提问程序」完全相同，则它们同构——对象由它与全世界的箭头关系唯一决定。「关系即本质」不再是口号，而是三行证明撑起的定理。

记忆锚点：Yoneda 说「自然变换由一个点决定」——α_A(id_A) 这一个取值，像杠杆的支点，撬动全部分量。第 34 页思想卡给出它的哲学译文；第六章（二）给出它在认识论里的全面开花。

第二章 函子与自然变换2.11 Yoneda 嵌入：范畴住进函子世界

一句话直觉。Yoneda 引理（2.10）说「对象由它的关系决定」；Yoneda 嵌入把这进一步做实：把每个对象干脆替换成它的关系数据——范畴整体搬进函子世界，寸步不失。

第二章 函子与自然变换例题课（一）：函子与自然变换的构造

例 1（幂集函子是函子）。令 𝒫: Set → Set：对象 A ↦ 𝒫(A)（子集全体），态射 f: A → B 送到直接像 𝒫f(S) ＝ f(S)。验证函子公理。① 复合：像的像＝复合的像，𝒫(g ∘ f) ＝ 𝒫g ∘ 𝒫f；② 单位：𝒫(id_A)(S) ＝ S。∎ 三行完毕——但：若把态射送到逆像 f^-1(T)，公理变成 (𝑔 ∘ f)^-1 ＝ f^-1 ∘ g^-1——次序颠倒，那是反变函子（2.3）。

例 2（忘却函子）。U: Grp → Set：群送到底集合、同态送到底映射。复合与单位在底层面自动成立。它「忘掉」了乘法表——第 42 页的自由–遗忘对从这里起跑。易错点：U 不保双射＝同构——两个不同构的群可以有同构的底集合（ℤ/6 与 S₃）。函子保同构（忠实即保单满），但不反射同构：底集合同构推不出群同构。

例 3（构造一个自然变换）。取双重对偶 η_V: V → V^**（向量送入「求值泛函」）。对每个线性映射 f: V → W，验证方块交换：f^** ∘ η_V ＝ η_W ∘ f——两边都把 v 送到「对 φ ↦ φ(f(v)) 求值」。∎ 这就是 η: id ⇒ ** 的自然性；「不依赖基」正是自然性的代名词（第 46 页细讲）。

第二章 函子与自然变换例题课（二）：可表函子的判定

例 4（可表函子判定）。问：函子 F: Set → Set，F(X) ＝ X × {0, 1}（双份拷贝），可表吗？判定：可表 ⟺ 存在集合 A 使 Hom(A, −) ≅ F。取 A ＝ {0, 1}：一条箭头 A → X恰是「给两个标记各挑一个元素」＝ X × {0, 1} 的一点。自然性逐点验证（后复合 vs 后配对）。∎ 可表——表示对象是二元集。

例 5（不可表的旁观证）。G(X) ＝ X ∗ X（自由积，两份拷贝的「字」）可表吗？若 G ≅ Hom(A, −)，看单点集：|G(1)| 应等于 |A|；但 G(1) 是两字母自由幺半群的元素集——无穷。而 Hom(1, −) 读出的恰是 A 自己的元素个数——有限集 A 无从表示。（若允许无穷 A，再用 |G(2)| ＝ |A|² 的两条约束联立即出矛盾。∎）方法总结：可表性判定=「在试探对象上读数、联立方程」。

例 6（从 Yoneda 读信息）。设 Hom(A, −) ≅ Hom(B, −)（自然同构）。由 Yoneda（2.10），取 F ＝ Hom(B, −)：Nat(Hom(A, −), Hom(B, −)) ≅ Hom(B, A) 的恒等同构给出箭头 B → A；对称地再给 A → B；两个复合各是恒等（再次用 Yoneda）。∎ A ≅ B——「探针读数完全相同则对象同构」，这是 Yoneda 最常用的姿势。

第二章 函子与自然变换习题课（一）：基本功

习 1（热身）。验证：常量函子（一切对象 ↦ 固定对象 D、一切态射 ↦ id_D）确是函子；它在什么范畴间「保同构」？（答案提示：任何两个同构的对象被送到同构——但反射不出源的同构。）

习 2。P: Set → Set 的反变版：X ↦ 𝒫(X)、f ↦ f^-1。验证公理（注意复合次序），并说明它与例 1 的协变版是「同一数据的两种朝向」。

习 3。证明：函子保同构——若 f: A ≅ B，则 Ff: FA ≅ FB。（两行：对 f ∘ f^-1 ＝ id 与 f^-1 ∘ f ＝ id 作用 F。）

习 4。找出一个函子 F 与一对不同构的对象 A, B 使 FA ≅ FB——（提示：U: Grp → Set 与 ℤ/6, S₃；或「把一切对象送到 1」的常量函子。）结论记牢：函子保同构，不反射同构——反射是「忠实＋满」以上才谈的事。

第二章 函子与自然变换习题课（二）：进阶

习 5（自然性计算）。双对偶 η（例 3）之外，再验证「有限维向量空间到自身的双重转置」 V ↦ V^** 在态射上的自然性；并指出为何「V ≅ V*」不给出自然同构（提示：同构依赖基的选取；换基后方块破裂——这正是「自然」二字的反面教材。）

习 6。证明自然变换的竖直复合（α: F ⇒ G、β: G ⇒ H 给 β ∘ α: F ⇒ H）满足结合律，且每个函子有恒等自然变换——于是「函子＋自然变换」自成一个范畴（函子范畴，2.7）。

习 7。在偏序集范畴（薄范畴）里：函子＝单调映射；自然变换 α: F ⇒ G 存在 ⟺ 对每个 x 有 Fx ≤ Gx（分量箭头至多一支，存在即唯一）。据此写出：单调映射之间的「序」恰是逐点序——薄范畴把自然变换「压扁」成了不等号。

习 8（挑战级热身）。设 A 是 Set 的单点集。证明 Hom(1, −) 可表（它就是自己），且 Nat(Hom(1, −), F) ≅ F(1)——这正是 Yoneda 在 A ＝ 1 的特例；试着不引用 Yoneda、直接构造双方射完成它（为 2.10 做手感训练）。

第二章 函子与自然变换第二章知识地图

本章一句话。函子让范畴之间有了桥，自然变换给桥立了规矩，Yoneda 证明桥的读数足以还原对象——「由关系定义对象」从纪律变成定理。

第二章 函子与自然变换第二章小结（上）：函子的演算

正面清单（函子部分）。

第二章 函子与自然变换第二章小结（下）：自然性与 Yoneda

正面清单（自然变换部分）。

第二章 函子与自然变换思想卡：自然性是「不看元素」的承诺

第二章 函子与自然变换挑战：Yoneda 的推论串烧

挑战：Yoneda 的推论串烧。不查文献，仅用 Yoneda 引理（2.10）与嵌入（2.11），依次证明以下四连推。每一步都只许用箭头语言。

突破口提示。四棒共用一个动作：把想证的箭头放进 Nat 的位置，让 Yoneda 把它换算成 F(A) 的元素。文献指引：Mac Lane《Categories for the Working Mathematician》§III.2–3（Yoneda 及其推论的标准清单）。

第二章 函子与自然变换实验：函子作用的程序枚举

实验目的。在最小的玩具范畴——2 元素链与 3 元素链（薄范畴：函子＝保序映射）——程序枚举全部函子、复合封性与 Yoneda 读数，让本章三个抽象概念各自交出一份可复算的数字。

from itertools import product

def mono(f):                       # 薄范畴（偏序集）上：函子 ＝ 保序映射
    return all(f[i] <= f[i+1] for i in range(len(f)-1))

up = [f for f in product(range(3), repeat=2) if mono(f)]   # P(2链) -> Q(3链)
dn = [f for f in product(range(2), repeat=3) if mono(f)]   # Q(3链) -> P(2链)
print('P->Q: 9 个映射里函子', len(up), '个；Q->P: 8 个里', len(dn), '个')
print('up 的 Hom(0,1) 像:', [f for f in up])
comp = [tuple(g[x] for x in f) for g in dn for f in up]    # g∘f : P -> P
print('复合 g∘f 共', len(comp), '个，保序?', all(mono(c) for c in comp))
H = (1, 1)                          # 可表 Hom(0,-) 的薄编码：处处恰一支箭头
for F in [f for f in product((0, 1), repeat=2) if mono(f)]:
    cnt = len([1 for a0 in ([1] if F[0] == 1 else [])
                 for a1 in ([1] if F[1] == 1 else [])])
    print('F =', F, ' |Nat(H,F)| =', cnt, ' |F(0)| =', F[0],
          '->', 'OK' if cnt == F[0] else 'BAD')

实跑输出。

第二章 函子与自然变换〖札记〗珠算口诀与函子复合

〖札记〗珠算口诀与函子复合。

珠算的口诀体系是一套精致的「映射语言」：「三下五除二」把「见三」这一状态确定地映射为「拨珠动作」，口诀接口诀就是映射接映射——复合。更妙的是口诀的普适性：同一句「三下五除二」，不管珠盘上其他档是什么数、不管这道题是加是减，动作照旧——口诀与状态之间的对应不挑场合。这正是自然性的直觉内核：对应关系对一切对象用同一配方，换舞台不换规则。

《九章算术》的术文结构同样自觉：「术曰」之间互相引用，上一术的输出是下一术的输入——「今有术」之下，粟米、衰分、均输诸章的术皆「相生」，刘徽注谓之「术苟有据此以设问者，皆可广用」——方法一经写成复合安全的形状，就自动获得全域适用性。函子公理（保复合、保单位）不过是把这份手艺写成公理：翻译接翻译还是翻译，恒等翻译原地不动。

带走一句话：好的算法从来是函子——换题不换法，接题即复合。

第二章 函子与自然变换第二章速查表

第二章速查表（一页备翻）。

记号约定。≅ ＝ 自然同构；≃ ＝ 范畴等价；Set^C 的上标记协变、C° 记反变源。

第二章 函子与自然变换衔接讲义：通往泛性质——用箭头定义对象

第二章完成了什么。架起范畴之间的桥（函子），给桥立了规矩（自然变换），并证明桥的读数足以还原对象（可表与 Yoneda）。「由关系定义对象」不再是纪律，而是定理。

第三章 泛性质与极限：由关系定义对象第三章导引：积为什么不由元素定义

先出一道冷静的题：什么是「两个集合的积」？会脱口而出——把元素摆成有序对。可再追一句：「有序对」本身是什么？数学家 Kuratowski 的答案是 (a,b) = {{a}, {a,b}}——一个奇怪的套盒。定义合法，却与直觉全然脱节：我们关心的从来不是这对括号怎么搭，而是那句更朴素的话——给出对，就能取第一分量、取第二分量；给出两个分量，就唯一还原出对。

把括号丢掉，剩下的是两句行为承诺：两条投影 π₁、π₂，加上「任何一对映射都唯一地经过它分解」。本章的全部主角——积、余积、等化子、拉回、极限、指数——都是这个句式的变奏。它们统称泛性质（universal property）：不描述对象「是什么」，只立法规定它「如何与万物相处」。

本章的航线：先立总纲（投标句式），再依次拆解积与余积（第 67–69 页）、等化子与拉回（第 70–72 页），然后合拢为极限（第 73–74 页）；最后两级台阶通向逻辑——指数与 Cartesian 闭范畴（第 75–76 页），并以「up to iso」收束全章（第 77 页）。暗线依旧：结构先于个体。

第三章 泛性质与极限：由关系定义对象3.1 泛性质总纲：用箭头「投标」

泛性质有一个统一的语法模板，像一场公开招标：出题人写下一份测试——「对每个竞争者，要求一条兼容箭头」；中标者是那个让测试有且仅有唯一解的对象。

「对每个……存在唯一」是万有性的灵魂：存在，保证中标者不缺席；唯一，保证它不敷衍——解与解之间自动 compatible，逼出同构（第 77 页）。最朴素的两个泛性质已在第一、二章见过：终对象（每个对象到它恰有一条箭头）与始对象（从它到每个对象恰有一条）。它们是模板的零阶版本——竞争者不带任何额外数据，测试只剩一条箭头。

用箭头的语言重述：「映射进 X 的方式」与「竞争者的合法数据」一一对应。Hom(Q, X) ≅ {Q 上的合法数据}——这句话在可表函子（第 49 页）里已见过一次，本章它将以「极限函子的可表性」卷土重来（第 90 页挑战）。

第三章 泛性质与极限：由关系定义对象3.2 积：一对投影的万有性

第一主角登场。积的投标书只要求两份「读取权」：第一分量、第二分量。

Set 里验票：A × B 为笛卡尔积，π₁(a,b) = a；给 f, g，令 ⟨f,g⟩(x) = (f(x), g(x))——存在无疑；唯一性一句话说完：若 h 也满足两条方程，则 h(x) 的两个分量被钉死为 f(x) 与 g(x)，故 h = ⟨f,g⟩。

用 Hom 集压缩成一行，积就是：Hom(Q, A × B) ≅ Hom(Q, A) × Hom(Q, B)——「进积的映射」恰是「一对映射」。映射集合本身做了一次积，这是泛性质自带的镜像（第 75 页将把它升级为指数定律）。

顺手收纳两个约定：三元积 A × B × C 由两步二重积归纳得到，万有性照抄；零个对象的积＝终对象——没有任何投影要满足，只剩「从任何处恰一箭头」。终对象由此获得新身份：空积。

第三章 泛性质与极限：由关系定义对象3.3 余积：翻过来就是加法

对偶原理第二次开工（第一次在第 14 页）：把积的定义里所有箭头掉头，「存在唯一分解」原样保留，得到的就是余积。

Set 里验票：余积是不交并 A ⊔ B。ι₁, ι₂ 把两块各自装进左半、右半；[f,g] 在左半用 f、右半用 g 分段定义——唯一性由「每个点必有唯一来源」保证。基数账本顺势对上：|A ⊔ B| = |A| + |B|，而 |A × B| = |A| · |B|——余积是加法的结构化身，积是乘法的结构化身，范畴论把小学算术的两个动作升格为两种「相处方式」。

范畴不同，化身不同：Ab 的余积是直和 A ⊕ B（分量各自运算）；Grp 的余积是自由积 A ∗ B（两群字母交替约化，自由性由此而来——第四、五章「自由构造」的直感预存）；Pos 的余积是上界之最的离散并。同一张投标书，各范畴交出自己的答卷——这正是「由关系定义」的深意。

第三章 泛性质与极限：由关系定义对象3.4 Set 中的积与不交并

泛性质的价值在「验票」中显影。本页把积与余积在 Set 里的验票完整走一遍，往后各范畴的同款论证可以照抄骨架。

警惕一个误区：「积」不等于「笛卡尔积」。笛卡尔积只是 Set 这位投标人交上的答卷；换到 Grp，答卷要附带乘法——逐点运算 (a,b)·(a',b') = (aa',bb')，投影自动成为同态。结构不是白送的：它恰是「让投影保结构」的最省方案。泛性质只指路，不代劳——各范畴自备砖瓦。

检索旧知：相邻领域的乘积拓扑、相邻领域的直和，都是各范畴对同一张投标书的应答。回头看「乘积拓扑为什么取最细使投影连续」——那不是约定，是万有性的最小承诺。

第三章 泛性质与极限：由关系定义对象3.5 等化子与余等化子

第二对主角处理「两条路线的分歧」。给定平行的一对映射 f, g: A → B，问：哪些点让它们重合？

Set 验票：E = {x ∈ A : f(x) = g(x)}，e 为内含。万有性翻译成大白话：凡是让两条路线重合的映射，像必落在共识区里——一句话的证明。

余等化子是它的镜像：求 q: B → Q 使 q∘f = q∘g，且对一切 h: B → X 满足 h∘f = h∘g 者，h 必经 q 唯一分解。Set 里：Q 是把 f(x) ~ g(x) 逐点粘合后再取等价闭包的商集——「把分歧焊死」。Ab 里更干净：余等化子就是商掉 im(f − g)（第 84 页习题亲手算）。

一句口诀：等化子＝「让两条路重合的最大来源」，余等化子＝「把两条路的分歧焊死的最小目标」。一个收缩来源，一个焊接目标，对偶成对。

第三章 泛性质与极限：由关系定义对象3.6 拉回与推出

把「重合」从一维升到二维：两条映射 f: A → C、g: B → C 指向同一目标，求「它们相遇之处」。

Set 验票：P = {(a,b) ∈ A × B : f(a) = g(b)}——「在 C 处对上号的配对」。拉回因此别名纤维积：固定 b，p₂ 的纤维 {(a,b)} ≅ f⁻¹(g(b))——沿 g 搬运 f 的纤维，几何家的「限制在一张叶子上看」由此有了代数身份。

推出是拉回的镜像：把 f: C → A 与 g: C → B 的像焊接成最省的目标。Set 里：不交并 A ⊔ B 再商掉 f(c) ~ g(c)——「沿公共来源粘连」。拓扑学的粘合空间（把两块布沿缝线缝起）正是 Top 里的推出。

检索旧知：两个子集 A, B ⊆ X 的交 A ∩ B，正是两条内含映射沿 X 的拉回。「交是重合处」从比喻升格为定理。

第三章 泛性质与极限：由关系定义对象3.7 核与余核：代数的拉回

线性代数与群论里如雷贯耳的「核」，在范畴语言里只是拉回的一个特例——代数的两条腿终于并到范畴的骨架上。

Ab（或 Vec）里核名实相副：ker f = {a : f(a) = 0}，万有性正是「若 f∘h = 0 则 h 过 ker f 分解」这条例行引理。余核对偶地是 B/im f——「把像焊成零」。两个极端（核＝失真的全部来源，余核＝失真的全部后果）夹住 f，同调代数的第一块砖就是它们的接力：

HA 接口：相邻领域的短正合列 0 → ker f → A → im f → 0 与 0 → im f → B → coker f → 0，如今每一段都是一次拉回或推出。范畴论没有发明新对象，它把旧对象点名归队——归队之后，第 19 页 Hom 双变量函子预告的 Ext/Tor 才有统一的舞台。顺带：第一同构定理 A/ker f ≅ im f，用余等化子的万有性即可一句话推得（本章习题课（二）第 3 题验证）。

第三章 泛性质与极限：由关系定义对象3.8 极限与余极限：锥形图

积、等化子、拉回——三员大将其实是同一位将军的三次点名。把他们统一起来的，是本章的定海神针：极限。

统一步骤分两拍。第一拍：形状。把「参与竞争的箭头图样」抽象成一个小的形状范畴 J——散落三点（无形箭头）对应积，平行一对对应等化子，沙发四点对应拉回。第二拍：图。D: J → C 是 C 里按形状摆好的对象与箭头。

极限不是新的应考者，而是把先前所有考题装订成册：形状里有多少约束，极限就满足多少约束，且满足得最省。极限的方向朝内（箭头进锥顶），余极限朝外（箭头出伞底）。离散形状（无箭头）的极限是积，空形状的极限是终对象——一切旧识在统一的语法里各归其位。

第三章 泛性质与极限：由关系定义对象3.9 极限的存在性：Set 的完备性

极限处处可求吗？Set 给出响亮的「是」——而且只需两块旧砖。

证明的骨架值得背下来：「全体候选 × 逐条约束」——先不设防地取积，再用等化子筛掉不合格的。任何「带约束的选择」在 Set 里都这样两步走，极限不过是给它起了名字。对偶地，Set 也余完备（余积＋余等化子造一切余极限）。

数字小演算（手工走一遍公式）：平行对 f, g: A → B 的极限，按公式是 A × B 的子集 {(a,b) : f(a) = b 且 g(a) = b} ≅ {a : f(a) = g(a)}——果然就是等化子；沙发形状算出的是 {(a,b) : f(a) = g(b)}——果然就是拉回。统一不是口号，是可执行的程序（第 91 页实验让 Python 亲跑一遍）。

更大的世界：Grp、Top、Vec 同样完备（遗忘函子右伴随——第四、五章的伏笔——会把 Set 的极限原样搬运）。极限的存在性，从此是「查表题」而不是「发明题」。

第三章 泛性质与极限：由关系定义对象3.10 指数对象与 Currying

新问题：把「函数」本身当对象。两参数函数 f: A × B → C，能否等价地看成「一参数函数、返回函数」？

Set 验票：C^B 就是函数集 {B → C}，ev(φ,b) = φ(b)；λf(a) 是「一元函数 b ↦ f(a,b)」。万有性写成同构即指数定律：

Hom(A × B, C) ≅ Hom(A, C^B)

——映射进「函数仓库」恰是「两参数映射」。这个名字致敬逻辑学家 Curry：他三十年代就把两参数函数拆成一串一参数函数；编程语言里的柯里化、Python 的 lambda 与偏函数，都是这条万有性的工程化身。第六章 Curry–Howard 对应里，它将升格为「蕴含即函数」的逻辑骨架（第 76 页立刻预演）。

注意 Set 不是处处能做「函数当对象」：C^B 要对一切 A 万有，这在 Set 成立（函数集足够大），在部分范畴（如某些预序框架）会缺席——缺席与否，本身成为范畴的身份证，见下一页。

第三章 泛性质与极限：由关系定义对象3.11 Cartesian 闭范畴：逻辑的骨架

把积、终对象、指数三件套打包，就得到一张含金量极高的「身份证」。

Set 是 CCC；更妙的是，薄 CCC（任何 Hom 集至多一个箭头）恰好是Heyting 代数——直觉主义逻辑的代数化身。对照表一出，逻辑与算术在同一条生产线上：

读一遍最妙的一行：假言推理（modus ponens）＝求值映射。「由 P 与 P→Q 得 Q」这条千年推理规则，在 CCC 里就是把函数配上参数按下扳机——逻辑的最小动作，原来是千万人每天写的 ev。而「证明＝箭头」一栏，正是第六章 Curry–Howard 对应（命题即类型、证明即程序）的预告片。

还有一层伏笔：CCC 只保证「有 →」这类构造，不保证排中律 P ∨ ¬P——「或」在薄 CCC 里是并不总存在的并。逻辑里被直觉主义挡下的排中律，在范畴这边成了「未必存在的余积」。这不是缺陷，是更精细的地图：哪些推理要资源、哪些要构造，第六章拓扑斯一节（第 158 页）继续深挖。

检索旧知：命题演算里的「P → Q 有证明 ＝ Q 可从 P 构造」，与指数定律 Hom(1 × P, Q) ≅ Hom(1, Q^P) 逐字对译——Currying 在逻辑侧的回声。

第三章 泛性质与极限：由关系定义对象3.12 泛性质的存在与唯一：up to iso

泛性质签发的证件始终写着两行：存在，与唯一。本页把「唯一」铸成定理——它将贡献第六章「up to iso」世界观的全部底气。

这三行证明是全章最值得咀嚼的文本：唯一性不是附加彩蛋，而是用来证同构的引擎——「任何两个都一样」由「分解唯一」一步带出。线性代数里「两组基之间过渡矩阵唯一可逆」、群论里「循环群生成元的像决定同构」，都是这一句的旧相识。

于是「由关系定义对象」获得完整含义：泛性质不给出任何一个具体的 P，却把所有合格的 P 钉死到同构。既然一切后续定理对同构一视同仁，「选哪一份答卷」便无关紧要——对象即同构类，个体让位于结构。这句话的哲学分量，第六章（三）再展开。

一个 terminology 速记：「泛性质的存在与唯一」在文献里常写作「the universal object, unique up to unique isomorphism」——「唯一的，直到唯一的同构」。两处「唯一」各司其职：前者靠存在性，后者靠分解唯一性。

第三章 泛性质与极限：由关系定义对象3.13 图形范畴：极限的计算法

一句话直觉。极限不是新构造，而是给任意图形配顶点：画什么图，就有什么极限——计算极限＝先画对图，再解万有方程。

第三章 泛性质与极限：由关系定义对象3.14 连通极限与有限极限

一句话直觉。极限家族太大，需要分层管理：连通极限（图是连成片的）与有限极限（图只有有限个对象与边）是两个最常用的档位。

第三章 泛性质与极限：由关系定义对象3.15 数系构造中的泛性质

一句话直觉。数系的每一次扩张——整数、有理数、多项式环、分式环——都可用泛性质一句话定义。定义换了读法，定理换了国籍。

第三章 泛性质与极限：由关系定义对象3.16 常见误读与澄清

一句话直觉。泛性质最大的坑不在定义本身，而在「用旧直觉偷读新定义」。五面墙钉在一张卡上。

第三章 泛性质与极限：由关系定义对象例题课（一）：积与余积的构造

通法提示：积与余积的题先问三句——「箭头向哪边？」「万有性约束谁？」「这个范畴的砖是什么？」三问答完，构造自然落地。

第三章 泛性质与极限：由关系定义对象例题课（二）：拉回的计算

通法提示：算拉回三步——「列出两条边的像 → 配对相等者 → 与纤维对账」。第三步最常被省略，而它恰是万有性的体检表。

第三章 泛性质与极限：由关系定义对象习题课（一）：基本功

第三章 泛性质与极限：由关系定义对象习题课（二）：进阶

第三章 泛性质与极限：由关系定义对象第三章知识地图

第三章 30 页的地形：一张投标书（泛性质）层层变奏，五组构造全部是它的化名。

三条「主线走法」：求全者走红色大支（p73–74 把前四格装订成册）；对偶爱好者走绿色成对线（p67↔p68、p70 内对、p71↔p72，处处「翻箭头」）；接口旅人走蓝色出口（p72 通相邻领域的核与余核；p76 通第六章逻辑——CCC 是 Curry–Howard 的前厅）。

学完本章再回看第一章图 1-16：那里的「函子（p41–43）」在中段运货，本章的「极限（p73–74）」在下游收货——下一章，运货与收货将在「伴随」处握手。

第三章 泛性质与极限：由关系定义对象第三章小结（上）：万有句法

九条带走：

① 泛性质＝投标句式：对每个竞争者，存在唯一分解——存在与唯一两条腿，缺一不可。

② 积是一对投影的万有性，Hom(Q, A×B) ≅ Hom(Q,A) × Hom(Q,B)；Set 的答卷是笛卡尔积。

③ 余积＝积的箭头镜像；Set 的答卷是不交并；Ab 直和、Grp 自由积——同一张标书，各范畴各交各卷。

④ 基数语义：余积是加法的化身，积是乘法的化身；薄范畴里积余积化身为 inf/sup（格）。

⑤ 等化子＝让平行二路重合的最大来源；余等化子＝把分歧焊死的最小目标。

⑥ 拉回＝交换方框的万有补全（Set：对上号的配对）；交、核都是它的特例；推出对偶（粘合）。

⑦ 极限把积与等化子装订成册：形状决定影子；Set 完备——「大积 × 筛选」两步造一切极限。

⑧ 指数与 Currying：Hom(A×B,C) ≅ Hom(A,C^B)；CCC 里假言推理＝求值，证明＝箭头。

⑨ up to iso：万有对象的唯一性由分解唯一性一步带出——定义即定理，个体让位于结构。

第三章 泛性质与极限：由关系定义对象第三章小结（下）：极限的演算

正面清单（下半章）。

第三章 泛性质与极限：由关系定义对象思想卡：存在由万有保证

对照第 34 页思想卡（「对象是它的关系之总和」）：那一页说「知其关系即知其对象」（Yoneda，认识句）；本页说「定其关系即得其对象」（泛性质，存在句）——一知一得，合成本册暗线的两联。

第三章 泛性质与极限：由关系定义对象挑战：极限函子的可表性

本页挑战把第 49 页的「可表函子」与第 73 页的「极限」焊接起来——这一焊，就是第四、五章「伴随」的前身。

读法。左边：从 C 进万有锥的箭头。右边：把 D 逐点换成 Hom 集后再取一次极限——「锥的族」。Hom(C,−) 好像一台投影机：把 C 里的极限原样投成集合层面的极限。

为什么值得挑战。此命题说：极限函子可表——「进极限的箭头」这个集合函子，恰好由对象 Lim D 表示（第 49 页可表函子的 C ↦ Hom(A,C) 换了方向兄弟）。可表性是范畴论的「橡皮图章」：一旦盖上，Yoneda（第 50 页）的全部火力立即可用。第六章（二）「Yoneda 的认识论」将把今天这枚图章解释成一句认识论判词：认识一个极限，只需认识所有打进它的箭头。

checkpoint：若完成了三个台阶，顺手验证特例 J 为散两点——命题退化为 Hom(C, A×B) ≅ Hom(C,A) × Hom(C,B)，第 67 页的镜像公式。

第三章 泛性质与极限：由关系定义对象实验：锥图极限的实例计算

让 Python 当一回验票员：给它一个平行对 f, g 与一个候选等化子，程序枚举所有竞争者，验证万有性——「对每个……存在唯一」逐字落地。

from itertools import product

# 图：f, g : A → B（平行对）
A = [0, 1, 2, 3]
B = [0, 1]
f = {0: 0, 1: 0, 2: 1, 3: 0}
g = {0: 1, 1: 0, 2: 1, 3: 1}

# 候选等化子：共识区 E 与内含 e
E = [a for a in A if f[a] == g[a]]          # 应得 [1, 2]
e = {a: a for a in E}                        # 内含 e: E ↪ A

def arrows(src, dst):
    """枚举 src → dst 全体映射。"""
    return [dict(zip(src, vals)) for vals in product(dst, repeat=len(src))]

def check():
    for h in arrows(A, A):                       # 每个竞争者 h: A → A
        if all(f[h[a]] == g[h[a]] for a in A):   # 兼容（f∘h = g∘h）
            us = [u for u in arrows(A, E)
                  if all(e[u[a]] == h[a] for a in A)]   # 分解 e∘u = h
            if len(us) != 1:                     # 存在且唯一失守
                return False
    return True

print("E =", E)
print("万有性（存在且唯一分解）:", check())

预期输出：E = [1, 2]，万有性 True。程序把「对每个竞争者 h（256 个映射里兼容的那些）……分解 u 唯一」逐条数过——泛性质第一次被枚举出来。

验票心得：万有性里最费算力的是「对每个竞争者」——范畴论替把这个全称量词炼成了定理（第 90 页），程序只在小世界里跑，定理在大世界里成立。

第三章 泛性质与极限：由关系定义对象〖札记〗刘徽的「率」：关系先于数值

《九章算术》粟米章开篇立表：「粟率五十，粝米三十。」今有粟一斗，问粝米几何？今有术答：10 × 30/50 = 6 斗。但真正深刻的是刘徽对「率」的注解——率不是两个数的比，而是一组量「自相与定」的关系结构：粟与粝按 50 与 30 相与，数值只是这个关系的采样。

刘徽给出率的三种合法变换：「乘以散之，约以聚之，齐同以通之。」率可以整体放大缩小（散、聚）而关系不变——这正是「up to iso」的中国先声：50:30 与 5:3 是同一个率，正如任何两份积答卷是同一个积。个体数值让位于关系结构。

「齐同以通之」尤妙：两段率要接力，须先「通」出公共单位（30 既是粝的率、又是下一段的率）——这与拉回里「在 C 处对上号」、极限里「沿形状走得通」是同一种思维：关系要相接，必先有公共中介；中介选定后，复合自动唯一。泛性质两千年前的表亲，就睡在算学家的注疏里。

下一站预告（第四、五章札记）：珠算口诀「二一添作五」——除法的每一位商都是一次「自由构造」，万有性的算盘版。

第三章 泛性质与极限：由关系定义对象第三章速查表