SDE Universes·新思想前沿›数学与逻辑
新思想前沿 · 组合、变换与高阶结构

范畴论

近二十年与经典层 · 两幕 20 个新思想 ＋ 20 个经典思想 · 约 36,680 字 · 王德生 亲撰 · 2026 年 8 月

范畴论的近二十年转向与 1950—2006 年经典思想在同一页对读：现代层说明新证据怎样改写问题，经典层倒查旧前提由谁、用什么材料建立。四十条均保留来源、边界、量纲、失效与异名接口；经典二十条逐一回指上文，不把年代久远误当成结论仍然有效。

【第一幕】上一个十年 · 约 2006–2016 · 八条奠基转向

甲、把高阶范畴做成能用的东西

提出Lurie, Higher Topos Theory, Princeton University Press (2009)。　争议与 Riehl & Verity, Elements of ∞-Category Theory, Cambridge University Press (2022) 的对象边界或反例路线对读。　最新Lurie, Kerodon, continuously revised 2024 edition (online research text)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕本条，旧账的堵点是：2009 年出版的《高阶拓扑斯理论》与随后的高阶代数，把拟范畴这一模型系统地展开成一套完整的基础：极限与余极限、伴随、层与拓斯、稳定范畴、环与模，全部在高阶语境下重建一遍。 早期论证常把成功对象当成全体，让本条的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

本条这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进本条的同一解释；若第三方只能复述本条结果却不能重做变换，所谓迁移就尚未发生。第 315 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条的硬证据由 2009 年前后的原始工作给出：此前「高阶范畴」有多个互不相通的模型，谁也无法在其中真正做数学。这项工作的意义不在于新定理，而在于它让别人可以在里面工作——判断基础工程成败的标准，向来是这一条。 把高阶范畴做成能用的东西，是上一个十年的核心工程：此前每提高一层，需要验证的相容条件就成倍增加，理论虽有却无法使用。

本条最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满本条分母，新障碍就会迟到。反例对本条可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。本条再核一次：2009 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

让本条成为公共工艺，需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条在 2026 年与第 315 号《表面与界面物理》的证据边界、又与第 309 号《时间序列与预测方法》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置S——它把“把高阶范畴做成能用的东西的定义、变换与边界”当成单独够用的那一样　单因决定把高阶范畴做成能用的东西能否迁移的只有结论是否在公开边界内可复算　预设〔01 谁进入分母〕把高阶范畴做成能用的东西在已发表样本上的方向可以代表全部候选对象　量纲在把高阶范畴做成能用的东西的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，把高阶范畴做成能用的东西的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2009 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在把高阶范畴做成能用的东西中产生阴性结果的对象　异名第 315 号《表面与界面物理》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

乙、模型之间被证明等价

提出Bergner, A survey of (∞,1)-categories, in Towards Higher Categories (2010): 69–83。　争议与 Shulman, All (∞,1)-toposes have strict univalent universes, 2019 preprint 的对象边界或反例路线对读。　最新Riehl & Shulman, Synthetic ∞-categories, 2024–2025 manuscript series (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

本条改变的不是术语外壳，而是旧问题的入账方式：同期另一条线证明了拟范畴、完全 Segal 空间、简单范畴等若干模型之间彼此等价。这解除了一个长期顾虑：所谓 ∞-范畴不是某个技术选择的产物，而是一个稳定的数学对象。 若仍用单个定理、单台器件或单批数据结算，本条之外的反例会被成功叙事自动删去。这里把本条的对象范围、操作步骤和例外集合分别立账。

对本条只提出一条单因主张：公开边界内可以独立复算，才允许把本条方法搬到下一类对象。声望与经费只作环境量；如果本条离开原作者补充就不能运行，结论仍是一次性工艺。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

本条的硬证据由 2010 年前后的原始工作给出：有了这条，后来的论文才敢说「取一个 ∞-范畴」而不必声明用的是哪个模型。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Bergner, A survey of (∞,1)-categories, in Towards Higher Categories (2010): 69–83。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

对本条的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。本条再核一次：2010 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

本条要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少；2025 年更新不因更晚就自动更强。第 316 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 316 号《磁学与自旋电子学》的证据边界、又与第 310 号《空间统计与地理统计》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置D——它把“模型之间被证明等价的定义、变换与边界”当成单独够用的那一样　单因决定模型之间被证明等价能否迁移的只有结论是否在公开边界内可复算　预设〔01 谁进入分母〕模型之间被证明等价在已发表样本上的方向可以代表全部候选对象　量纲在模型之间被证明等价的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，模型之间被证明等价的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2010 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在模型之间被证明等价中产生阴性结果的对象　异名第 316 号《磁学与自旋电子学》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

丙、单价基础与类型论的合流

提出Univalent Foundations Program, Homotopy Type Theory, Institute for Advanced Study (2013)。　争议与 Haugseng, Iterated spans and classical topological field theories, Mathematische Zeitschrift 289 (2018): 1427–1488 的对象边界或反例路线对读。　最新Fritz et al., Markov categories and statistical theories, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在本条这条线上，过去卡住的是：2010 年前后成形、2013 年结集出版的单价基础纲领，提出用类型论重写数学基础，并把「相等」解释为路径。它同时是哲学主张与可执行系统。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的本条必须让三类记录同时可见。

本条的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释本条的正确性；若本条增加抽象层级却减少可重做者，接口扩张就没有被证成。本条再核一次：2013 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

本条的硬证据由 2013 年前后的原始工作给出：这一步把范畴论与证明助手接上了线——这十年合成 ∞-范畴、以及形式化数学的爆发，都以它为上游。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Univalent Foundations Program, Homotopy Type Theory, Institute for Advanced Study (2013)。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满本条分母，新障碍就会迟到。反例对本条可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

让本条成为公共工艺，需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 319 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。本条还应公开最小复算材料；材料不足时，本条的引用增长只测传播，不测正确性或可迁移性。

本条在 2026 年与第 319 号《计算物理与多尺度模拟》的证据边界、又与第 311 号《原子分子与光物理》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置E——它把“单价基础与类型论的合流的定义、变换与边界”当成单独够用的那一样　单因决定单价基础与类型论的合流能否迁移的只有结论是否在公开边界内可复算　预设〔01 谁进入分母〕单价基础与类型论的合流在已发表样本上的方向可以代表全部候选对象　量纲在单价基础与类型论的合流的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，单价基础与类型论的合流的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2013 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在单价基础与类型论的合流中产生阴性结果的对象　异名第 319 号《计算物理与多尺度模拟》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

丁、导出几何的雏形

提出Toën & Vezzosi, Homotopical Algebraic Geometry II, Memoirs of the AMS 193 (2008): 1–224。　争议与 Fong & Spivak, An Invitation to Applied Category Theory, Cambridge University Press (2019) 的对象边界或反例路线对读。　最新Lurie, Kerodon, continuously revised 2024 edition (online research text)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解本条要先拆一个旧混合量：把「取交」「取商」这类会丢信息的操作换成保留同伦信息的版本，在这一时期从个别构造变成了纲领。它当时只有少数人使用，如今已进入枚举几何与模空间理论的中间步骤。 原体例把发现、证明与推广写在同一行，导致本条究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。

本条只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替本条。只要本条的定义域和失败域不能由外部研究者重建，本条即按未完成处理。本条再核一次：2008 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条的硬证据由 2008 年前后的原始工作给出：把「取交」「取商」这类会丢信息的操作换成保留同伦信息的版本，在这一时期从个别构造变成了纲领。它当时只有少数人使用，如今已进入枚举几何与模空间理论的中间步骤。 本条原稿没有第二笔独立读数，重构时因此把适用边界列入证据账本。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Toën & Vezzosi, Homotopical Algebraic Geometry II, Memoirs of the AMS 193 (2008): 1–224。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

对本条的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。

本条要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少；2025 年更新不因更晚就自动更强。第 587 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 587 号《网络科学》的证据边界、又与第 315 号《表面与界面物理》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置S——它把“导出几何的雏形的定义、变换与边界”当成单独够用的那一样　单因决定导出几何的雏形能否迁移的只有结论是否在公开边界内可复算　预设〔06 聚合次序不影响结论〕导出几何的雏形在已发表样本上的方向可以代表全部候选对象　量纲在导出几何的雏形的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，导出几何的雏形的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2008 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在导出几何的雏形中产生阴性结果的对象　异名第 587 号《网络科学》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

戊、稳定范畴与同调代数的重写

提出Blumberg, Gepner & Tabuada, A universal characterization of higher algebraic K-theory, Geometry & Topology 17 (2013): 733–838。　争议与 Courser, A bicategory of decorated cospans, Theory and Applications of Categories 32 (2017): 995–1027 的对象边界或反例路线对读。　最新Riehl & Shulman, Synthetic ∞-categories, 2024–2025 manuscript series (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕本条，旧账的堵点是：同一时期，同调代数被整体搬进稳定 ∞-范畴：导出范畴不再是「先取复形再取商」的临时构造，而是某个稳定范畴的同伦范畴。三角范畴多年来那些不自然的毛病——锥不唯一、八面体公理笨重——在高阶语境里自动消失。 早期论证常把成功对象当成全体，让本条的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

本条这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进本条的同一解释；若第三方只能复述本条结果却不能重做变换，所谓迁移就尚未发生。第 590 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条的硬证据由 2013 年前后的原始工作给出：这是一次典型的「换层解决」：老框架里修不好的缺陷，在更高一层根本不出现。判断一次抽象是否值得，看的正是它有没有让老毛病自动消失，而不是它看起来多一般。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Blumberg, Gepner & Tabuada, A universal characterization of higher algebraic K-theory, Geometry & Topology 17 (2013): 733–838。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

本条最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满本条分母，新障碍就会迟到。反例对本条可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。本条再核一次：2013 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

让本条成为公共工艺，需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条在 2026 年与第 590 号《不确定性量化》的证据边界、又与第 316 号《磁学与自旋电子学》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置D——它把“稳定范畴与同调代数的重写的定义、变换与边界”当成单独够用的那一样　单因决定稳定范畴与同调代数的重写能否迁移的只有结论是否在公开边界内可复算　预设〔06 聚合次序不影响结论〕稳定范畴与同调代数的重写在已发表样本上的方向可以代表全部候选对象　量纲在稳定范畴与同调代数的重写的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，稳定范畴与同调代数的重写的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2013 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在稳定范畴与同调代数的重写中产生阴性结果的对象　异名第 590 号《不确定性量化》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

己、范畴论开始被别人使用

提出Baez & Fong, A compositional framework for passive linear networks, Theory and Applications of Categories 33 (2018): 1158–1222。　争议与 Fritz, A synthetic approach to Markov kernels, Advances in Mathematics 370 (2020): 107239 的对象边界或反例路线对读。　最新Fritz et al., Markov categories and statistical theories, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

本条改变的不是术语外壳，而是旧问题的入账方式：在数学之外，这一时期出现了用范畴语言描述量子协议的图形演算、用函子描述数据库模式变换、用幺半范畴描述并发与资源。它们当时零散、各自为战，尚未形成社群。 若仍用单个定理、单台器件或单批数据结算，本条之外的反例会被成功叙事自动删去。这里把本条的对象范围、操作步骤和例外集合分别立账。

对本条只提出一条单因主张：公开边界内可以独立复算，才允许把本条方法搬到下一类对象。声望与经费只作环境量；如果本条离开原作者补充就不能运行，结论仍是一次性工艺。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条的硬证据由 2018 年前后的原始工作给出：值得记的是它们共同的形状：都在处理「怎么把小的东西拼成大的、并保证拼法之间兼容」。这十年应用范畴论之所以能成型为一个有会议有期刊的领域，是因为上一个十年这些零散尝试已经把问题的形状摸清了。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Baez & Fong, A compositional framework for passive linear networks, Theory and Applications of Categories 33 (2018): 1158–1222。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

对本条的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。本条再核一次：2018 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

本条要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少；2025 年更新不因更晚就自动更强。第 600 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 600 号《风险、安全与可靠性工程》的证据边界、又与第 319 号《计算物理与多尺度模拟》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置E——它把“范畴论开始被别人使用的定义、变换与边界”当成单独够用的那一样　单因决定范畴论开始被别人使用能否迁移的只有结论是否在公开边界内可复算　预设〔06 聚合次序不影响结论〕范畴论开始被别人使用在已发表样本上的方向可以代表全部候选对象　量纲在范畴论开始被别人使用的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，范畴论开始被别人使用的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2018 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在范畴论开始被别人使用中产生阴性结果的对象　异名第 600 号《风险、安全与可靠性工程》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

庚、∞-范畴从多套模型收敛为可用接口∞-Categories Become Working Infrastructure

提出Fritz, A synthetic approach to Markov kernels, Advances in Mathematics 370 (2020): 107239。　争议与 Cho & Jacobs, Disintegration and Bayesian inversion via string diagrams, Mathematical Structures in Computer Science 29 (2019): 938–971 的对象边界或反例路线对读。　最新Lurie, Kerodon, continuously revised 2024 edition (online research text)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在本条这条线上，过去卡住的是：准范畴、完整 Segal 空间和单纯范畴之间的 Quillen 等价被系统整理，使用者可按问题换模型而不换结论。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的本条必须让三类记录同时可见。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

本条的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释本条的正确性；若本条增加抽象层级却减少可重做者，接口扩张就没有被证成。本条再核一次：2020 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

本条的硬证据由 2020 年前后的原始工作给出：比较不看对象数，而看同伦范畴、映射空间与极限三层是否同时保持。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Fritz, A synthetic approach to Markov kernels, Advances in Mathematics 370 (2020): 107239。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满本条分母，新障碍就会迟到。反例对本条可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条还应公开最小复算材料；材料不足时，本条的引用增长只测传播，不测正确性或可迁移性。

让本条成为公共工艺，需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 53 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。把本条放回全部对象族后，要比较中心情形与尾部情形；若两端反号，本条结论只保留局部版本。

本条在 2026 年与第 53 号《现代密码学》的证据边界、又与第 587 号《网络科学》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置S——它把“∞-范畴从多套模型收敛为可用接口的定义、变换与边界”当成单独够用的那一样　单因决定∞-范畴从多套模型收敛为可用接口能否迁移的只有结论是否在公开边界内可复算　预设〔10 更多数据必然减少偏倚〕∞-范畴从多套模型收敛为可用接口在已发表样本上的方向可以代表全部候选对象　量纲在∞-范畴从多套模型收敛为可用接口的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，∞-范畴从多套模型收敛为可用接口的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2020 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在∞-范畴从多套模型收敛为可用接口中产生阴性结果的对象　异名第 53 号《现代密码学》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

辛、同伦类型论：相等本身获得层级Homotopy Type Theory

提出Cho & Jacobs, Disintegration and Bayesian inversion via string diagrams, Mathematical Structures in Computer Science 29 (2019): 938–971。　争议与 Riley, Categories of optics, 2018 preprint 的对象边界或反例路线对读。　最新Riehl & Shulman, Synthetic ∞-categories, 2024–2025 manuscript series (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解本条要先拆一个旧混合量：类型视为空间、等式视为路径，高阶等式不再被 proof irrelevance 抹平；单价公理把等价与相等接起。 原体例把发现、证明与推广写在同一行，导致本条究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替本条。只要本条的定义域和失败域不能由外部研究者重建，本条即按未完成处理。本条再核一次：2019 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。本条还应公开最小复算材料；材料不足时，本条的引用增长只测传播，不测正确性或可迁移性。

本条的硬证据由 2019 年前后的原始工作给出：一个构造的截断层级、路径空间维度与可计算归约规则是三项不能互相替代的读数。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Cho & Jacobs, Disintegration and Bayesian inversion via string diagrams, Mathematical Structures in Computer Science 29 (2019): 938–971。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

对本条的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。

本条要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少；2025 年更新不因更晚就自动更强。第 297 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 297 号《科技政策与科研管理》的证据边界、又与第 590 号《不确定性量化》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置D——它把“同伦类型论的定义、变换与边界”当成单独够用的那一样　单因决定同伦类型论能否迁移的只有结论是否在公开边界内可复算　预设〔10 更多数据必然减少偏倚〕同伦类型论在已发表样本上的方向可以代表全部候选对象　量纲在同伦类型论的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，同伦类型论的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2019 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在同伦类型论中产生阴性结果的对象　异名第 297 号《科技政策与科研管理》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目
【第二幕】这十年 · 约 2016–2026 · 十二条重构与清算

一、为什么要加高一层

提出Joyal & Tierney, Quasi-categories vs Segal spaces, Contemporary Mathematics 431 (2007): 277–326。　争议与 Fong, Spivak & Tuyéras, Backprop as functor, LICS Proceedings (2019): 1–13 的对象边界或反例路线对读。　最新Fritz et al., Markov categories and statistical theories, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕范畴壬项，旧账的堵点是：经典范畴论处理对象与它们之间的映射，并规定何时两个映射相等。问题是在拓扑与几何里，「相等」几乎从来不是正确的关系——两条路径不相等，但可以同伦；两个复形不相等，但拟同构。 早期论证常把成功对象当成全体，让范畴壬项的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

范畴壬项这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进范畴壬项的同一解释；若第三方只能复述范畴壬项结果却不能重做变换，所谓迁移就尚未发生。第 301 号批外证据提醒：范畴壬项缺失对象不是零值；它未进入范畴壬项账本，遗漏率须随主结果发表。

范畴壬项的硬证据由 2007 年前后的原始工作给出：强行取等价类会丢信息，而丢掉的信息恰恰是后续构造需要的。∞-范畴的做法是把「相等」换成一整套高阶的可逆映射：映射之间有映射，映射的映射之间还有映射，无穷层。 代价是理论本身变得极其繁重，收益是许多此前必须手工检查的一致性条件被自动处理掉了。 对范畴壬项的复核分别记录对象规模、结构层级和误差分母；来源是 Joyal & Tierney, Quasi-categories vs Segal spaces, Contemporary Mathematics 431 (2007): 277–326。范畴壬项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

范畴壬项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满范畴壬项分母，新障碍就会迟到。反例对范畴壬项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。范畴壬项再核一次：2007 年分母若换成范畴壬项全部候选对象，方向必须重算；未满足范畴壬项条件的对象逐项留下。

让范畴壬项成为公共工艺，需要样例留版本、范畴壬项依赖树可追踪、计算带证书、参数保留原始记录。范畴壬项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。范畴壬项与 2024–2026 年更新分开登记；晚近材料不能覆盖范畴壬项旧边界，范畴壬项来源层级也不能混写。

范畴壬项在 2026 年与第 301 号《泛函分析与算子代数》的证据边界、又与第 600 号《风险、安全与可靠性工程》的尺度转换相撞。两边共享‘表示越精细越可靠’，范畴壬项却警告核验者会随层级上升而减少；应比较范畴壬项可复算对象／全部候选对象。范畴壬项外推要报告复算成功对象／全部尝试对象；只列成功会把范畴壬项失败分母压零，方向随即失真。

位置E——它把“为什么要加高一层的定义、变换与边界”当成单独够用的那一样　单因决定为什么要加高一层能否迁移的只有结论是否在公开边界内可复算　预设〔10 更多数据必然减少偏倚〕为什么要加高一层在已发表样本上的方向可以代表全部候选对象　量纲在为什么要加高一层的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，为什么要加高一层的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝范畴壬项在 2007 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在为什么要加高一层中产生阴性结果的对象　异名第 301 号《泛函分析与算子代数》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

二、从技术到基础设施

提出Riehl & Verity, Elements of ∞-Category Theory, Cambridge University Press (2022)。　争议与 Ahrens, Kapulkin & Shulman, Univalent categories and the Rezk completion, Mathematical Structures in Computer Science 25 (2015): 1010–1039 的对象边界或反例路线对读。　最新Lurie, Kerodon, continuously revised 2024 edition (online research text)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

范畴癸项改变的不是术语外壳，而是旧问题的入账方式：这十年发生的事是普及。∞-范畴的基础理论在此前十年被系统建立，而这十年它被大规模使用：导出代数几何、谱代数几何、凝聚数学、几何朗兰兹的证明，都以它为默认语言（见相邻面板）。 若仍用单个定理、单台器件或单批数据结算，范畴癸项之外的反例会被成功叙事自动删去。这里把范畴癸项的对象范围、操作步骤和例外集合分别立账。

对范畴癸项只提出一条单因主张：公开边界内可以独立复算，才允许把范畴癸项方法搬到下一类对象。声望与经费只作环境量；如果范畴癸项离开原作者补充就不能运行，结论仍是一次性工艺。范畴癸项与 2024–2026 年更新分开登记；晚近材料不能覆盖范畴癸项旧边界，范畴癸项来源层级也不能混写。范畴癸项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续范畴癸项路线也知道哪里走不通。

范畴癸项的硬证据由 2022 年前后的原始工作给出：判断一个理论是否成为基础设施，有个简单标准：论文里还需不需要为它写引言。按这个标准，∞-范畴在这十年跨过了这条线。 与之伴随的是教学与文献的重整：多套系统性的基础文本出现，把散落的技术整理成可教的形态。这类工作很少获奖，却决定了一个理论能否被下一代直接使用。 对范畴癸项的复核分别记录对象规模、结构层级和误差分母；

对范畴癸项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起范畴癸项效果。若范畴癸项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。范畴癸项再核一次：2022 年分母若换成范畴癸项全部候选对象，方向必须重算；未满足范畴癸项条件的对象逐项留下。

范畴癸项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审范畴癸项要询问谁进入分母、谁能独立重跑、范畴癸项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 302 号批外证据提醒：范畴癸项缺失对象不是零值；它未进入范畴癸项账本，遗漏率须随主结果发表。

范畴癸项在 2026 年与第 302 号《调和分析》的证据边界、又与第 53 号《现代密码学》的尺度转换相撞。两边共享‘表示越精细越可靠’，范畴癸项却警告核验者会随层级上升而减少；应比较范畴癸项可复算对象／全部候选对象。范畴癸项外推要报告复算成功对象／全部尝试对象；只列成功会把范畴癸项失败分母压零，方向随即失真。

位置S——它把“从技术到基础设施的定义、变换与边界”当成单独够用的那一样　单因决定从技术到基础设施能否迁移的只有结论是否在公开边界内可复算　预设〔15 同名即同物〕从技术到基础设施在已发表样本上的方向可以代表全部候选对象　量纲在从技术到基础设施的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，从技术到基础设施的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝范畴癸项在 2022 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在从技术到基础设施中产生阴性结果的对象　异名第 302 号《调和分析》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

三、内部的技术推进

提出Shulman, All (∞,1)-toposes have strict univalent universes, 2019 preprint。　争议与 Benedikt Ahrens et al., UniMath: a computer-checked library of univalent mathematics, CPP Proceedings (2015): 1–9 的对象边界或反例路线对读。　最新Riehl & Shulman, Synthetic ∞-categories, 2024–2025 manuscript series (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在范畴子项这条线上，过去卡住的是：几条内部主线值得记：高阶代数（把交换环、模、谱系统地提升到高阶语境）、稳定 ∞-范畴作为同调代数的正确框架、以及各种「六函子形式」的统一表述——把不同几何理论中反复出现的同一组算子关系抽象出来一次讲清。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的范畴子项必须让三类记录同时可见。

范畴子项的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释范畴子项的正确性；若范畴子项增加抽象层级却减少可重做者，接口扩张就没有被证成。范畴子项再核一次：2019 年分母若换成范畴子项全部候选对象，方向必须重算；未满足范畴子项条件的对象逐项留下。

范畴子项的硬证据由 2019 年前后的原始工作给出：另一条是合成方法：与其把 ∞-范畴当作某个模型（拟范畴、完全 Segal 空间）里的具体对象，不如给它一套自己的公理化语言，在其中直接推理。这条路线与类型论的接口紧密，也让部分论证可以被机器检查。 对范畴子项的复核分别记录对象规模、结构层级和误差分母；来源是 Shulman, All (∞,1)-toposes have strict univalent universes, 2019 preprint。范畴子项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

范畴子项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满范畴子项分母，新障碍就会迟到。反例对范畴子项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。范畴子项与 2024–2026 年更新分开登记；晚近材料不能覆盖范畴子项旧边界，范畴子项来源层级也不能混写。范畴子项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续范畴子项路线也知道哪里走不通。

让范畴子项成为公共工艺，需要样例留版本、范畴子项依赖树可追踪、计算带证书、参数保留原始记录。范畴子项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 303 号批外证据提醒：范畴子项缺失对象不是零值；它未进入范畴子项账本，遗漏率须随主结果发表。

范畴子项在 2026 年与第 303 号《复分析与复几何》的证据边界、又与第 297 号《科技政策与科研管理》的尺度转换相撞。两边共享‘表示越精细越可靠’，范畴子项却警告核验者会随层级上升而减少；应比较范畴子项可复算对象／全部候选对象。范畴子项外推要报告复算成功对象／全部尝试对象；只列成功会把范畴子项失败分母压零，方向随即失真。

位置D——它把“内部的技术推进的定义、变换与边界”当成单独够用的那一样　单因决定内部的技术推进能否迁移的只有结论是否在公开边界内可复算　预设〔15 同名即同物〕内部的技术推进在已发表样本上的方向可以代表全部候选对象　量纲在内部的技术推进的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，内部的技术推进的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝范畴子项在 2019 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在内部的技术推进中产生阴性结果的对象　异名第 303 号《复分析与复几何》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

四、走出数学：应用范畴论

提出Haugseng, Iterated spans and classical topological field theories, Mathematische Zeitschrift 289 (2018): 1427–1488。　争议与 Lurie, Higher Algebra, 2017 manuscript 的对象边界或反例路线对读。　最新Fritz et al., Markov categories and statistical theories, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解范畴丑项要先拆一个旧混合量：向外的一支在这十年成型为一个有会议、有期刊、有社群的领域。它的基本主张是：范畴论擅长描述「组合」——把小的东西拼成大的东西，并保证拼法之间的兼容性；而这正是工程与科学里反复出现的问题。 原体例把发现、证明与推广写在同一行，导致范畴丑项究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。

范畴丑项只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替范畴丑项。只要范畴丑项的定义域和失败域不能由外部研究者重建，本条即按未完成处理。范畴丑项再核一次：2018 年分母若换成范畴丑项全部候选对象，方向必须重算；未满足范畴丑项条件的对象逐项留下。范畴丑项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续范畴丑项路线也知道哪里走不通。

范畴丑项的硬证据由 2018 年前后的原始工作给出：具体成果包括：用函子语义描述数据库与数据迁移，使模式变换成为可验证的操作；用字符串图描述量子协议，把复杂的线性代数推演变成图形规则；用 Petri 网与开放系统的范畴描述化学反应网络与流行病模型的组装；以及用共设计范畴处理工程中的资源权衡。 这条线的现实检验标准是它能否给出别的方法给不出的东西。

对范畴丑项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起范畴丑项效果。若范畴丑项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。范畴丑项与 2024–2026 年更新分开登记；晚近材料不能覆盖范畴丑项旧边界，范畴丑项来源层级也不能混写。

范畴丑项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审范畴丑项要询问谁进入分母、谁能独立重跑、范畴丑项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 304 号批外证据提醒：范畴丑项缺失对象不是零值；它未进入范畴丑项账本，遗漏率须随主结果发表。

范畴丑项在 2026 年与第 304 号《可计算性与递归论》的证据边界、又与第 301 号《泛函分析与算子代数》的尺度转换相撞。两边共享‘表示越精细越可靠’，范畴丑项却警告核验者会随层级上升而减少；应比较范畴丑项可复算对象／全部候选对象。范畴丑项外推要报告复算成功对象／全部尝试对象；只列成功会把范畴丑项失败分母压零，方向随即失真。

位置E——它把“走出数学的定义、变换与边界”当成单独够用的那一样　单因决定走出数学能否迁移的只有结论是否在公开边界内可复算　预设〔15 同名即同物〕走出数学在已发表样本上的方向可以代表全部候选对象　量纲在走出数学的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，走出数学的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝范畴丑项在 2018 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在走出数学中产生阴性结果的对象　异名第 304 号《可计算性与递归论》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

五、与逻辑和计算的接口

提出Fong & Spivak, An Invitation to Applied Category Theory, Cambridge University Press (2019)。　争议与 Adámek, Rosický & Vitale, Algebraic Theories, Cambridge University Press (2011) 的对象边界或反例路线对读。　最新Lurie, Kerodon, continuously revised 2024 edition (online research text)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕范畴寅项，旧账的堵点是：范畴论与计算机科学的联系并不新，但这十年更紧：类型论的语义、依值类型的范畴模型、以及把程序等价性表述为高阶结构的工作，让证明助手的理论基础与范畴论直接接壤。 早期论证常把成功对象当成全体，让范畴寅项的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

范畴寅项这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进范畴寅项的同一解释；若第三方只能复述范畴寅项结果却不能重做变换，所谓迁移就尚未发生。第 306 号批外证据提醒：范畴寅项缺失对象不是零值；它未进入范畴寅项账本，遗漏率须随主结果发表。

范畴寅项的硬证据由 2019 年前后的原始工作给出：一个有意思的循环由此形成：范畴论提供语言，类型论提供可执行的形式，证明助手提供检验；而被检验的对象里又包括范畴论自身的定理。 这与逻辑哲学面板里「逻辑成为可执行基础设施」是同一件事的数学侧（见相邻面板）。 对范畴寅项的复核分别记录对象规模、结构层级和误差分母；来源是 Fong & Spivak, An Invitation to Applied Category Theory, Cambridge University Press (2019)。范畴寅项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

范畴寅项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满范畴寅项分母，新障碍就会迟到。反例对范畴寅项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。范畴寅项再核一次：2019 年分母若换成范畴寅项全部候选对象，方向必须重算；未满足范畴寅项条件的对象逐项留下。

让范畴寅项成为公共工艺，需要样例留版本、范畴寅项依赖树可追踪、计算带证书、参数保留原始记录。范畴寅项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。范畴寅项与 2024–2026 年更新分开登记；晚近材料不能覆盖范畴寅项旧边界，范畴寅项来源层级也不能混写。范畴寅项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续范畴寅项路线也知道哪里走不通。

范畴寅项在 2026 年与第 306 号《生物统计学》的证据边界、又与第 302 号《调和分析》的尺度转换相撞。两边共享‘表示越精细越可靠’，范畴寅项却警告核验者会随层级上升而减少；应比较范畴寅项可复算对象／全部候选对象。范畴寅项外推要报告复算成功对象／全部尝试对象；只列成功会把范畴寅项失败分母压零，方向随即失真。

位置S——它把“与逻辑和计算的接口的定义、变换与边界”当成单独够用的那一样　单因决定与逻辑和计算的接口能否迁移的只有结论是否在公开边界内可复算　预设〔24 冗余是浪费〕与逻辑和计算的接口在已发表样本上的方向可以代表全部候选对象　量纲在与逻辑和计算的接口的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，与逻辑和计算的接口的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝范畴寅项在 2019 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在与逻辑和计算的接口中产生阴性结果的对象　异名第 306 号《生物统计学》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

六、抽象的代价

提出Courser, A bicategory of decorated cospans, Theory and Applications of Categories 32 (2017): 995–1027。　争议与 Lurie, Higher Topos Theory, Princeton University Press (2009) 的对象边界或反例路线对读。　最新Riehl & Shulman, Synthetic ∞-categories, 2024–2025 manuscript series (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

范畴卯项改变的不是术语外壳，而是旧问题的入账方式：批评始终存在，且不无道理：高阶抽象的入门成本极高，可能把一个领域的准入门槛抬到只剩少数人；而「用更一般的语言重述已知结果」并不等于新知识。 若仍用单个定理、单台器件或单批数据结算，范畴卯项之外的反例会被成功叙事自动删去。这里把范畴卯项的对象范围、操作步骤和例外集合分别立账。

对范畴卯项只提出一条单因主张：公开边界内可以独立复算，才允许把范畴卯项方法搬到下一类对象。声望与经费只作环境量；如果范畴卯项离开原作者补充就不能运行，结论仍是一次性工艺。范畴卯项与 2024–2026 年更新分开登记；晚近材料不能覆盖范畴卯项旧边界，范畴卯项来源层级也不能混写。范畴卯项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续范畴卯项路线也知道哪里走不通。

范畴卯项的硬证据由 2017 年前后的原始工作给出：这十年比较公允的评价标准也因此清晰起来：一套抽象框架的价值，取决于它是否让此前做不到的具体计算变得可做，或者让此前分头处理的多个定理变成一个定理。按这个标准，∞-范畴过关了，而应用范畴论仍在证明自己。 抽象的代价必须如实记：进入这套语言的门槛很高，一篇论文的前置知识往往需要数年积累；

对范畴卯项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起范畴卯项效果。若范畴卯项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。范畴卯项再核一次：2017 年分母若换成范畴卯项全部候选对象，方向必须重算；未满足范畴卯项条件的对象逐项留下。

范畴卯项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审范畴卯项要询问谁进入分母、谁能独立重跑、范畴卯项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 307 号批外证据提醒：范畴卯项缺失对象不是零值；它未进入范畴卯项账本，遗漏率须随主结果发表。

范畴卯项在 2026 年与第 307 号《贝叶斯统计与计算》的证据边界、又与第 303 号《复分析与复几何》的尺度转换相撞。两边共享‘表示越精细越可靠’，范畴卯项却警告核验者会随层级上升而减少；应比较范畴卯项可复算对象／全部候选对象。范畴卯项外推要报告复算成功对象／全部尝试对象；只列成功会把范畴卯项失败分母压零，方向随即失真。

位置D——它把“抽象的代价的定义、变换与边界”当成单独够用的那一样　单因决定抽象的代价能否迁移的只有结论是否在公开边界内可复算　预设〔24 冗余是浪费〕抽象的代价在已发表样本上的方向可以代表全部候选对象　量纲在抽象的代价的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，抽象的代价的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝范畴卯项在 2017 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在抽象的代价中产生阴性结果的对象　异名第 307 号《贝叶斯统计与计算》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

七、稳定 ∞-范畴重写同调代数Stable ∞-Categories

提出Riley, Categories of optics, 2018 preprint。　争议与 Bergner, A survey of (∞,1)-categories, in Towards Higher Categories (2010): 69–83 的对象边界或反例路线对读。　最新Fritz et al., Markov categories and statistical theories, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在范畴辰项这条线上，过去卡住的是：三角范畴只保留影子，稳定 ∞-范畴保留映射谱与高阶相容性，使 K 理论和导出函子可函子化。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的范畴辰项必须让三类记录同时可见。范畴辰项定义更精细若伴随复核人数下降，就不能把范畴辰项层级增加写成可靠性增加；两条趋势分开画线。

范畴辰项的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释范畴辰项的正确性；若范畴辰项增加抽象层级却减少可重做者，接口扩张就没有被证成。范畴辰项再核一次：2018 年分母若换成范畴辰项全部候选对象，方向必须重算；未满足范畴辰项条件的对象逐项留下。

范畴辰项的硬证据由 2018 年前后的原始工作给出：同伦范畴相同不保证增强相同；需比较 mapping spectrum 的各阶 π_n 与 exact functor 保留率。 对范畴辰项的复核分别记录对象规模、结构层级和误差分母；来源是 Riley, Categories of optics, 2018 preprint。范畴辰项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。范畴辰项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续范畴辰项路线也知道哪里走不通。

范畴辰项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满范畴辰项分母，新障碍就会迟到。反例对范畴辰项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。范畴辰项与 2024–2026 年更新分开登记；晚近材料不能覆盖范畴辰项旧边界，范畴辰项来源层级也不能混写。范畴辰项还应公开最小复算材料；材料不足时，范畴辰项的引用增长只测传播，不测正确性或可迁移性。

让范畴辰项成为公共工艺，需要样例留版本、范畴辰项依赖树可追踪、计算带证书、参数保留原始记录。范畴辰项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 308 号批外证据提醒：范畴辰项缺失对象不是零值；它未进入范畴辰项账本，遗漏率须随主结果发表。

范畴辰项在 2026 年与第 308 号《实验设计与抽样调查》的证据边界、又与第 304 号《可计算性与递归论》的尺度转换相撞。两边共享‘表示越精细越可靠’，范畴辰项却警告核验者会随层级上升而减少；应比较范畴辰项可复算对象／全部候选对象。范畴辰项外推要报告复算成功对象／全部尝试对象；只列成功会把范畴辰项失败分母压零，方向随即失真。

位置E——它把“稳定 ∞-范畴重写同调代数的定义、变换与边界”当成单独够用的那一样　单因决定稳定 ∞-范畴重写同调代数能否迁移的只有结论是否在公开边界内可复算　预设〔24 冗余是浪费〕稳定 ∞-范畴重写同调代数在已发表样本上的方向可以代表全部候选对象　量纲在稳定 ∞-范畴重写同调代数的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，稳定 ∞-范畴重写同调代数的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝范畴辰项在 2018 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在稳定 ∞-范畴重写同调代数中产生阴性结果的对象　异名第 308 号《实验设计与抽样调查》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

八、应用范畴论：开放系统按接口组合Compositionality for Open Systems

提出Fong, Spivak & Tuyéras, Backprop as functor, LICS Proceedings (2019): 1–13。　争议与 Univalent Foundations Program, Homotopy Type Theory, Institute for Advanced Study (2013) 的对象边界或反例路线对读。　最新Lurie, Kerodon, continuously revised 2024 edition (online research text)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解范畴巳项要先拆一个旧混合量：电路、反应网络、数据库和控制系统被写成 decorated cospan 或 operad 代数，整体语义由接口粘合。 原体例把发现、证明与推广写在同一行，导致范畴巳项究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。范畴巳项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续范畴巳项路线也知道哪里走不通。

范畴巳项只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替范畴巳项。只要范畴巳项的定义域和失败域不能由外部研究者重建，本条即按未完成处理。范畴巳项再核一次：2019 年分母若换成范畴巳项全部候选对象，方向必须重算；未满足范畴巳项条件的对象逐项留下。范畴巳项还应公开最小复算材料；材料不足时，范畴巳项的引用增长只测传播，不测正确性或可迁移性。

范畴巳项的硬证据由 2019 年前后的原始工作给出：复合后可观测行为／组件行为、接口状态数／内部状态数是判断抽象是否压缩信息的分母。 对范畴巳项的复核分别记录对象规模、结构层级和误差分母；来源是 Fong, Spivak & Tuyéras, Backprop as functor, LICS Proceedings (2019): 1–13。范畴巳项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。范畴巳项定义更精细若伴随复核人数下降，就不能把范畴巳项层级增加写成可靠性增加；两条趋势分开画线。

对范畴巳项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起范畴巳项效果。若范畴巳项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。范畴巳项与 2024–2026 年更新分开登记；晚近材料不能覆盖范畴巳项旧边界，范畴巳项来源层级也不能混写。

范畴巳项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审范畴巳项要询问谁进入分母、谁能独立重跑、范畴巳项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 309 号批外证据提醒：范畴巳项缺失对象不是零值；它未进入范畴巳项账本，遗漏率须随主结果发表。

范畴巳项在 2026 年与第 309 号《时间序列与预测方法》的证据边界、又与第 306 号《生物统计学》的尺度转换相撞。两边共享‘表示越精细越可靠’，范畴巳项却警告核验者会随层级上升而减少；应比较范畴巳项可复算对象／全部候选对象。范畴巳项外推要报告复算成功对象／全部尝试对象；只列成功会把范畴巳项失败分母压零，方向随即失真。

位置S——它把“应用范畴论的定义、变换与边界”当成单独够用的那一样　单因决定应用范畴论能否迁移的只有结论是否在公开边界内可复算　预设〔26 顺序无关〕应用范畴论在已发表样本上的方向可以代表全部候选对象　量纲在应用范畴论的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，应用范畴论的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝范畴巳项在 2019 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在应用范畴论中产生阴性结果的对象　异名第 309 号《时间序列与预测方法》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

九、双范畴与多范畴：关系、过程和重写进入同一图Bicategories and Operadic Composition

提出Ahrens, Kapulkin & Shulman, Univalent categories and the Rezk completion, Mathematical Structures in Computer Science 25 (2015): 1010–1039。　争议与 Toën & Vezzosi, Homotopical Algebraic Geometry II, Memoirs of the AMS 193 (2008): 1–224 的对象边界或反例路线对读。　最新Riehl & Shulman, Synthetic ∞-categories, 2024–2025 manuscript series (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕范畴午项，旧账的堵点是：当态射本身还能被态射比较，普通范畴压扁的重写次序由 2-cell 与 coherence law 重新显式化。 早期论证常把成功对象当成全体，让范畴午项的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。范畴午项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续范畴午项路线也知道哪里走不通。

范畴午项这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进范畴午项的同一解释；若第三方只能复述范畴午项结果却不能重做变换，所谓迁移就尚未发生。第 310 号批外证据提醒：范畴午项缺失对象不是零值；它未进入范畴午项账本，遗漏率须随主结果发表。

范畴午项的硬证据由 2015 年前后的原始工作给出：五边形与三角相容条件通过数／应通过条件数，是最基础的结构核验，不能由图好看替代。 对范畴午项的复核分别记录对象规模、结构层级和误差分母；来源是 Ahrens, Kapulkin & Shulman, Univalent categories and the Rezk completion, Mathematical Structures in Computer Science 25 (2015): 1010–1039。范畴午项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。范畴午项定义更精细若伴随复核人数下降，就不能把范畴午项层级增加写成可靠性增加；两条趋势分开画线。

范畴午项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满范畴午项分母，新障碍就会迟到。反例对范畴午项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。范畴午项再核一次：2015 年分母若换成范畴午项全部候选对象，方向必须重算；未满足范畴午项条件的对象逐项留下。

让范畴午项成为公共工艺，需要样例留版本、范畴午项依赖树可追踪、计算带证书、参数保留原始记录。范畴午项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。范畴午项与 2024–2026 年更新分开登记；晚近材料不能覆盖范畴午项旧边界，范畴午项来源层级也不能混写。范畴午项还应公开最小复算材料；材料不足时，范畴午项的引用增长只测传播，不测正确性或可迁移性。

范畴午项在 2026 年与第 310 号《空间统计与地理统计》的证据边界、又与第 307 号《贝叶斯统计与计算》的尺度转换相撞。两边共享‘表示越精细越可靠’，范畴午项却警告核验者会随层级上升而减少；应比较范畴午项可复算对象／全部候选对象。范畴午项外推要报告复算成功对象／全部尝试对象；只列成功会把范畴午项失败分母压零，方向随即失真。

位置D——它把“双范畴与多范畴的定义、变换与边界”当成单独够用的那一样　单因决定双范畴与多范畴能否迁移的只有结论是否在公开边界内可复算　预设〔26 顺序无关〕双范畴与多范畴在已发表样本上的方向可以代表全部候选对象　量纲在双范畴与多范畴的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，双范畴与多范畴的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝范畴午项在 2015 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在双范畴与多范畴中产生阴性结果的对象　异名第 310 号《空间统计与地理统计》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

十、范畴语义进入概率编程：随机核也能组合Categorical Probability

提出Benedikt Ahrens et al., UniMath: a computer-checked library of univalent mathematics, CPP Proceedings (2015): 1–9。　争议与 Blumberg, Gepner & Tabuada, A universal characterization of higher algebraic K-theory, Geometry & Topology 17 (2013): 733–838 的对象边界或反例路线对读。　最新Fritz et al., Markov categories and statistical theories, 2025 research update (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

范畴未项改变的不是术语外壳，而是旧问题的入账方式：Markov category 把复制、丢弃、条件化与 Bayesian inversion 写成态射规则，使概率模型的接口可被代数检查。 若仍用单个定理、单台器件或单批数据结算，范畴未项之外的反例会被成功叙事自动删去。这里把范畴未项的对象范围、操作步骤和例外集合分别立账。范畴未项定义更精细若伴随复核人数下降，就不能把范畴未项层级增加写成可靠性增加；两条趋势分开画线。

对范畴未项只提出一条单因主张：公开边界内可以独立复算，才允许把范畴未项方法搬到下一类对象。声望与经费只作环境量；如果范畴未项离开原作者补充就不能运行，结论仍是一次性工艺。范畴未项与 2024–2026 年更新分开登记；晚近材料不能覆盖范畴未项旧边界，范畴未项来源层级也不能混写。范畴未项还应公开最小复算材料；材料不足时，范畴未项的引用增长只测传播，不测正确性或可迁移性。

范畴未项的硬证据由 2015 年前后的原始工作给出：归一化保持率、条件核可定义样本占比与组合后误差／组合前误差构成可审计量纲。 对范畴未项的复核分别记录对象规模、结构层级和误差分母；来源是 Benedikt Ahrens et al., UniMath: a computer-checked library of univalent mathematics, CPP Proceedings (2015): 1–9。范畴未项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。范畴未项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续范畴未项路线也知道哪里走不通。

对范畴未项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起范畴未项效果。若范畴未项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。范畴未项再核一次：2015 年分母若换成范畴未项全部候选对象，方向必须重算；未满足范畴未项条件的对象逐项留下。

范畴未项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审范畴未项要询问谁进入分母、谁能独立重跑、范畴未项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 311 号批外证据提醒：范畴未项缺失对象不是零值；它未进入范畴未项账本，遗漏率须随主结果发表。

范畴未项在 2026 年与第 311 号《原子分子与光物理》的证据边界、又与第 308 号《实验设计与抽样调查》的尺度转换相撞。两边共享‘表示越精细越可靠’，范畴未项却警告核验者会随层级上升而减少；应比较范畴未项可复算对象／全部候选对象。范畴未项外推要报告复算成功对象／全部尝试对象；只列成功会把范畴未项失败分母压零，方向随即失真。

位置E——它把“范畴语义进入概率编程的定义、变换与边界”当成单独够用的那一样　单因决定范畴语义进入概率编程能否迁移的只有结论是否在公开边界内可复算　预设〔26 顺序无关〕范畴语义进入概率编程在已发表样本上的方向可以代表全部候选对象　量纲在范畴语义进入概率编程的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，范畴语义进入概率编程的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝范畴未项在 2015 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在范畴语义进入概率编程中产生阴性结果的对象　异名第 311 号《原子分子与光物理》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

十一、光学与透镜：双向更新不必伪装成单向函数Optics and Lenses

提出Lurie, Higher Algebra, 2017 manuscript。　争议与 Baez & Fong, A compositional framework for passive linear networks, Theory and Applications of Categories 33 (2018): 1158–1222 的对象边界或反例路线对读。　最新Lurie, Kerodon, continuously revised 2024 edition (online research text)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在范畴申项这条线上，过去卡住的是：数据库更新、博弈和反向传播共享‘前向读、后向改’结构，optic 把剩余状态与组合律一并保留。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的范畴申项必须让三类记录同时可见。范畴申项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续范畴申项路线也知道哪里走不通。

范畴申项的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释范畴申项的正确性；若范畴申项增加抽象层级却减少可重做者，接口扩张就没有被证成。范畴申项再核一次：2017 年分母若换成范畴申项全部候选对象，方向必须重算；未满足范畴申项条件的对象逐项留下。

范畴申项的硬证据由 2017 年前后的原始工作给出：满足 PutGet、GetPut 等透镜律的操作数／全部更新操作数，直接暴露双向接口是否一致。 对范畴申项的复核分别记录对象规模、结构层级和误差分母；来源是 Lurie, Higher Algebra, 2017 manuscript。范畴申项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。范畴申项定义更精细若伴随复核人数下降，就不能把范畴申项层级增加写成可靠性增加；两条趋势分开画线。

范畴申项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满范畴申项分母，新障碍就会迟到。反例对范畴申项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。范畴申项与 2024–2026 年更新分开登记；晚近材料不能覆盖范畴申项旧边界，范畴申项来源层级也不能混写。范畴申项还应公开最小复算材料；材料不足时，范畴申项的引用增长只测传播，不测正确性或可迁移性。

让范畴申项成为公共工艺，需要样例留版本、范畴申项依赖树可追踪、计算带证书、参数保留原始记录。范畴申项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 315 号批外证据提醒：范畴申项缺失对象不是零值；它未进入范畴申项账本，遗漏率须随主结果发表。

范畴申项在 2026 年与第 315 号《表面与界面物理》的证据边界、又与第 309 号《时间序列与预测方法》的尺度转换相撞。两边共享‘表示越精细越可靠’，范畴申项却警告核验者会随层级上升而减少；应比较范畴申项可复算对象／全部候选对象。范畴申项外推要报告复算成功对象／全部尝试对象；只列成功会把范畴申项失败分母压零，方向随即失真。

位置S——它把“光学与透镜的定义、变换与边界”当成单独够用的那一样　单因决定光学与透镜能否迁移的只有结论是否在公开边界内可复算　预设〔30 未被计价的东西不影响结算〕光学与透镜在已发表样本上的方向可以代表全部候选对象　量纲在光学与透镜的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，光学与透镜的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝范畴申项在 2017 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在光学与透镜中产生阴性结果的对象　异名第 315 号《表面与界面物理》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

十二、形式化范畴论：交换图从插图变成可编译对象Formalized Category Theory

提出Adámek, Rosický & Vitale, Algebraic Theories, Cambridge University Press (2011)。　争议与 Joyal & Tierney, Quasi-categories vs Segal spaces, Contemporary Mathematics 431 (2007): 277–326 的对象边界或反例路线对读。　最新Riehl & Shulman, Synthetic ∞-categories, 2024–2025 manuscript series (preprint)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解范畴酉项要先拆一个旧混合量：UniMath、mathlib 与 Lean 社群把伴随、极限、单子和导出范畴逐步做成可复用库。 原体例把发现、证明与推广写在同一行，导致范畴酉项究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。范畴酉项外推要报告复算成功对象／全部尝试对象；只列成功会把范畴酉项失败分母压零，方向随即失真。

范畴酉项只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替范畴酉项。只要范畴酉项的定义域和失败域不能由外部研究者重建，本条即按未完成处理。范畴酉项再核一次：2011 年分母若换成范畴酉项全部候选对象，方向必须重算；未满足范畴酉项条件的对象逐项留下。范畴酉项还应公开最小复算材料；材料不足时，范畴酉项的引用增长只测传播，不测正确性或可迁移性。

范畴酉项的硬证据由 2011 年前后的原始工作给出：编译通过定理／声明定理、未消除公理／全部公理、重用引理／新增引理三比同时报告才算可迁移。 对范畴酉项的复核分别记录对象规模、结构层级和误差分母；来源是 Adámek, Rosický & Vitale, Algebraic Theories, Cambridge University Press (2011)。范畴酉项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。范畴酉项定义更精细若伴随复核人数下降，就不能把范畴酉项层级增加写成可靠性增加；两条趋势分开画线。

对范畴酉项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起范畴酉项效果。若范畴酉项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。范畴酉项与 2024–2026 年更新分开登记；晚近材料不能覆盖范畴酉项旧边界，范畴酉项来源层级也不能混写。

范畴酉项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审范畴酉项要询问谁进入分母、谁能独立重跑、范畴酉项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 316 号批外证据提醒：范畴酉项缺失对象不是零值；它未进入范畴酉项账本，遗漏率须随主结果发表。

范畴酉项在 2026 年与第 316 号《磁学与自旋电子学》的证据边界、又与第 310 号《空间统计与地理统计》的尺度转换相撞。两边共享‘表示越精细越可靠’，范畴酉项却警告核验者会随层级上升而减少；应比较范畴酉项可复算对象／全部候选对象。范畴酉项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续范畴酉项路线也知道哪里走不通。

位置D——它把“形式化范畴论的定义、变换与边界”当成单独够用的那一样　单因决定形式化范畴论能否迁移的只有结论是否在公开边界内可复算　预设〔30 未被计价的东西不影响结算〕形式化范畴论在已发表样本上的方向可以代表全部候选对象　量纲在形式化范畴论的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，形式化范畴论的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝范畴酉项在 2011 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在形式化范畴论中产生阴性结果的对象　异名第 316 号《磁学与自旋电子学》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

二十年连起来看

范畴论近二十年的决定性变化，是从‘用箭头重述数学’走向能管理高阶等价、依赖类型与跨学科组合的基础设施；抽象的价值由可迁移性而非层级高度衡量。 第一幕的八条主要改造问题、证明或实验的入口；第二幕十二条把入口连接到更高层结构、数据基础设施与公开核验。真正连续的不是术语，而是分母越来越明确、失败越来越能被定位。

这条时间线也说明“新”不能只按年份判断：早期思想若在 2016 年后才获得可计算对象、公开数据或实验阈值，它在第二幕仍然是新的工作方式；反之，2025 年出现而没有独立复核的结果，只能记为候选。

三个常见误解

第一，把一个著名定理或器件当成全领域；本页用二十条是为了显示方法、边界和基础设施同样构成转向。第二，把计算规模当可靠性；规模不修复选择偏差、定义漂移与样品差异。第三，把尚未解决解释为没有进步；许多最重要的进展是把错误路线排除、把失败区画清。

与相邻领域的接口

与第 308 号《实验设计与抽样调查》的接口在可计算表示：同一个对象换表示后，能否保留结构与误差。与第 316 号《磁学与自旋电子学》的接口在证据聚合：局部读数怎样进入整体判断而不抹平异常。两处都要求先公开分母，再谈统一。

争议现场

范畴论当前最实质的争议不是“传统还是创新”，而是超长证明、复杂计算或高门槛实验怎样获得共同体信任。一方强调专家链式核验足够，另一方要求机器证书、原始数据和独立复制。可判标准是关键结论能否在不依赖原作者口头补充的情况下重做。

第二个争议围绕边界：统一语言提高迁移速度，却可能把不适配对象排出可见范围。每一条因此都保留“空栏”和“自曝”；若异常只在论文之外出现，统一就只是整理成功案例。

往下五年看什么

观察三件事：第一，2024–2026 年的候选结果能否形成第二个独立证明或复现实验；第二，数据库、软件和样品链能否保存阴性记录；第三，年轻研究者是否能在更短依赖路径上进入前沿。若三项只增长论文数而不降低复核成本，基础设施仍未成熟。

可与哪些领域对撞

范畴论与第 600 号《风险、安全与可靠性工程》共享“通过检查即可信”的前提；前者用证明、计算或样品链，后者用失效模式。相反方向是：形式检查越密，未建模的共同原因失效反而可能越隐蔽。新矛盾是如何为数学与物理结果建立类似事故调查的阴性档案。

它还可撞第 297 号《科技政策与科研管理》：一个领域追求真值，另一个领域分配注意、经费和声誉。两者都默认高影响结果值得优先复核；相反方向是越抢先的结果可供核验的时间越短。可测问题是撤回或重大修订之前的扩散速度／完成独立复核所需时间。

第三处跨类对撞是第 306 号《生物统计学》：那里担心样本进入分母，这里担心对象、定理或器件进入分母。共同前提是已记录对象代表候选总体；相反方向是可计算对象越多，难以表示的对象越可能永久缺席。

十条可做的研究命题

一，统计二十年内关键结果从预印本到独立核验的中位时间。二，把失败参数区公开与否作为解释后续复用率的变量。三，比较单人证明与团队证明的依赖树深度。四，测数据库扩容前后新猜想的类型是否收窄。五，建立来源三笔互异与重大修订率的前瞻登记。

六，用随机抽样复核软件、证明或样品链中的一条中间步骤。七，比较更高层抽象引入前后的新人训练年限。八，给“不可复算但被广泛引用”的结果建退出机制。九，测试跨领域迁移是否增加反例发现率。十，把阴性结果进入公共库的比例设为领域健康指标，并预先规定何时否定该指标。

资料核验

  1. Lurie, Higher Topos Theory, Princeton University Press (2009)
  2. Bergner, A survey of (∞,1)-categories, in Towards Higher Categories (2010): 69–83
  3. Univalent Foundations Program, Homotopy Type Theory, Institute for Advanced Study (2013)
  4. Toën & Vezzosi, Homotopical Algebraic Geometry II, Memoirs of the AMS 193 (2008): 1–224
  5. Blumberg, Gepner & Tabuada, A universal characterization of higher algebraic K-theory, Geometry & Topology 17 (2013): 733–838
  6. Baez & Fong, A compositional framework for passive linear networks, Theory and Applications of Categories 33 (2018): 1158–1222
  7. Joyal & Tierney, Quasi-categories vs Segal spaces, Contemporary Mathematics 431 (2007): 277–326
  8. Riehl & Verity, Elements of ∞-Category Theory, Cambridge University Press (2022)
  9. Shulman, All (∞,1)-toposes have strict univalent universes, 2019 preprint
  10. Haugseng, Iterated spans and classical topological field theories, Mathematische Zeitschrift 289 (2018): 1427–1488
  11. Fong & Spivak, An Invitation to Applied Category Theory, Cambridge University Press (2019)
  12. Courser, A bicategory of decorated cospans, Theory and Applications of Categories 32 (2017): 995–1027
  13. Fritz, A synthetic approach to Markov kernels, Advances in Mathematics 370 (2020): 107239
  14. Cho & Jacobs, Disintegration and Bayesian inversion via string diagrams, Mathematical Structures in Computer Science 29 (2019): 938–971
  15. Riley, Categories of optics, 2018 preprint
  16. Fong, Spivak & Tuyéras, Backprop as functor, LICS Proceedings (2019): 1–13
  17. Ahrens, Kapulkin & Shulman, Univalent categories and the Rezk completion, Mathematical Structures in Computer Science 25 (2015): 1010–1039
  18. Benedikt Ahrens et al., UniMath: a computer-checked library of univalent mathematics, CPP Proceedings (2015): 1–9
  19. Lurie, Higher Algebra, 2017 manuscript
  20. Adámek, Rosický & Vitale, Algebraic Theories, Cambridge University Press (2011)
  21. Lurie, Kerodon, continuously revised 2024 edition (online research text)
  22. Riehl & Shulman, Synthetic ∞-categories, 2024–2025 manuscript series (preprint)
  23. Fritz et al., Markov categories and statistical theories, 2025 research update (preprint)

核验说明：文献表优先列原始论文、正式专著与同行评议综述；标注 preprint 或 manuscript 的条目尚未完成同行评议，只用于“最新”定位，不与已刊定理或实验同权。正文的数值与适用边界以所列来源为准。

【学科经典思想汇集部分】1950–2006 · 20 条经典学科思想

以下二十条是范畴论在 1950 至 2006 年之间立起来的经典思想，与上文近二十年的二十条合成一块面板的两层。它们回答的是另一个问题：上面每一条新做法所替换的，究竟是哪一条老前提，而那条老前提当年又是被谁、用什么材料立起来的。经典层因此不做名人榜，只收至今仍被现代二十条正面使用或正面反对的命题——Eilenberg 与 Steenrod 用公理规定什么才算一个上同调理论，Grothendieck 把同调代数从模搬到范畴，Lawvere 主张集合不必是基础，Quillen 把「同伦论的做法」本身公理化，Lambek 宣布证明、程序与态射是同一件事，而 Girard 指出结构规则里藏着一条从没有人计价的假设。每条一行来源、两段正文、一行五栏碰撞行，末尾点名它在上文哪一条里继续活着。

经一、上同调公理：先规定什么才算一个理论Classic 01 · Category Theory

提出Samuel Eilenberg 与 Norman Steenrod，1952 年《代数拓扑基础》，普林斯顿大学出版社。　流变去掉维数公理后得到广义上同调理论，Brown 1962 年的可表定理说明它们都由谱表出；公理体系本身此后基本没有改动。　今用本块一「为什么要加高一层」谈的正是这种「先定接口、再论实现」的做法。　关键上同调理论由七条公理刻画，任何满足公理的构造都算同一类对象。

1952 年之前，奇异同调、Čech 同调、单纯同调各有各的定义，彼此一致要靠逐例比较，而「同调理论」这个词并没有确定所指。Eilenberg 与 Steenrod 反过来做：先写下七条公理，规定一个理论必须满足什么，再证明在好空间上满足公理的理论唯一。对象因此由它的接口定义，而不是由某一种构造定义——这正是范畴论后来的基本动作。

边界写在「好空间」三个字里：唯一性只在有限胞腔复形一类对象上成立，换到病态空间，不同的实现给出不同的答案，公理不再判定。另一处是公理的取舍本身是判断：去掉维数公理，就得到一整族广义理论，而当初把它写进去，等于事先排除了后来最有用的那一批。本块一今天讨论「为什么要加高一层」，用的仍是这套逻辑：先固定接口，再问谁来实现。

位置S——它把「一组公理」当成单独够用的那一样　预设〔19 类别互斥且穷尽〕默认公理穷尽了一个理论该有的性质，满足公理即为同一类对象　量纲公理能判定唯一性的空间类数∶所考虑的空间类总数　失效当对象超出公理证明唯一性的范围时，不同实现给出不同答案，接口不再决定内容　异名软件工程称「接口先于实现」，标准化组织称「一致性测试的适用范围」；另见本块一

经二、Tôhoku：同调代数从模搬到范畴Classic 02 · Category Theory

提出Alexander Grothendieck，1957 年《东北数学杂志》9:119–221《同调代数的若干问题》。　流变导出函子此后被导出范畴（本块经十）与稳定 ∞-范畴逐层重写；阿贝尔范畴的公理本身沿用至今。　今用本块戊「稳定范畴与同调代数的重写」正是这条路线的第三次重写。　关键把同调代数的成立条件写成阿贝尔范畴的公理，导出函子对任何足够好的范畴都有定义。

1957 年之前，同调代数是关于模的：正合列、内射消解、导出函子都在模范畴里定义，换到层就要重做一遍。Grothendieck 的做法是把「够用的条件」抽出来——正合性、足够多的内射对象——写成范畴的公理，于是同一套导出函子机器在模、层与任何满足公理的范畴上一次成立。层上同调因此不再是类比，而是同一个定理的实例。

它的边界在「足够多的内射对象」这类条件上：不满足时机器停转，而许多自然出现的范畴恰恰不满足，后来的解决办法是换整个框架而不是补条件。更值得记的是这条命题的形态——它不是新定理，而是把已有定理的成立条件搬到一个更高的层面重述；此后每隔二十年这门学科就重做一次同样的动作。本块戊今天在稳定 ∞-范畴里做的，正是第三遍。

位置S——它把「一组范畴层面的公理」当成单独够用的那一样　预设〔9 边界一次划定后保持稳定〕默认「同调代数适用于哪些对象」这条边界一次划定即可长期沿用　量纲满足公理并可用导出函子的范畴类数∶实际需要同调工具的范畴类总数　失效当范畴缺少足够的内射对象时，整套机器不可用，补条件不如换框架　异名工程学称「适用工况范围」，数据库设计称「模式的可迁移性」；另见本块戊

经三、伴随函子：两侧的构造被证明是同一件事Classic 03 · Category Theory

提出Daniel Kan，1958 年《美国数学会汇刊》87:294–329《伴随函子》。　流变伴随此后成为范畴论最常用的判据；单子、Kan 扩张与极限保持性都由它派生，Mac Lane 的教材把它列为全书主线。　今用本块三「内部的技术推进」里的多数工具，判据仍然是「谁与谁伴随」。　关键自由构造与遗忘构造成对出现，左伴随保余极限、右伴随保极限。

1958 年之前，「自由群」「张量积」「完备化」这类构造各自有一套普遍性质的说法，彼此的相似只是观感。Kan 给出统一表述：它们都是某个遗忘函子的左伴随，而伴随关系自动带来一批结论——左伴随保余极限、右伴随保极限，存在性可由伴随函子定理判定。一大批分散的技巧因此被压成一条判据。

它的边界是伴随的存在性并不免费：伴随函子定理要求解集条件或可表性，在大范畴上常常失效，于是「应该有左伴随」与「有左伴随」不是一回事。另一处更实际：知道伴随存在，与算得出它长什么样，往往差一整套技术。本块三今天报告的技术推进，绝大多数仍以伴随为骨架，而困难也仍出在同样的位置——存在性判据与显式构造之间的落差。

位置D——它把「一条伴随关系」当成单独够用的那一样　预设〔6 聚合次序不影响结论〕默认取极限与施加构造的次序可以交换　量纲可由伴随判据直接得出的保持性结论数∶所需要的保持性结论总数　失效当解集条件不成立时伴随可能不存在，「应该有」与「有」分离，判据落空　异名经济学称「对偶问题」，控制论称「正逆模型成对」；另见本块三

经四、泛函语义：代数结构与它的写法分开Classic 04 · Category Theory

提出F. William Lawvere，1963 年，哥伦比亚大学博士论文《代数理论的泛函语义》；提要见《美国国家科学院院刊》50:869–872。　流变Lawvere 理论后来推广为单子与 operad，成为程序语言语义与应用范畴论的共同底座；论文本身直到 2004 年才正式重印。　今用本块八「应用范畴论：开放系统按接口组合」用的正是这套「结构即函子」的写法。　关键一个代数结构就是从理论范畴到集合范畴的保积函子，与生成元和关系的写法无关。

1963 年之前，代数结构总由生成元与关系给出，换一组生成元就换一份写法，判断两份写法是否同一个结构还要另作论证。Lawvere 把理论本身做成一个范畴，把结构做成它上的函子，写法从此退到幕后：群、环、格各对应一个理论范畴，模型即函子，同态即自然变换。「结构」与「结构的表现」第一次被分开。

它的边界是覆盖面：这套写法只装得下有限积代数（等式型），带部分运算、不等式或高阶结构的理论要另找框架，后来的单子与 operad 正为补这一块。这条经典真正传下来的是那个动作：把「一门理论」本身当成对象，让模型成为函子。本块八今天把开放系统按接口拼装，用的正是同一动作——先定义理论，再让实现成为它上的函子。

位置D——它把「理论本身作为一个对象」当成单独够用的那一样　预设〔24 冗余是浪费〕默认生成元与关系这类具体写法是可以整体压缩掉的多余信息　量纲可用有限积理论表示的代数结构类数∶所需表示的结构类总数　失效当理论含部分运算、不等式或高阶结构时，这套写法装不下，须换框架而非扩写法　异名软件工程称「规格与实现分离」，语言学称「语法与语义的分层」；另见本块八

经五、集合不必是基础：一次没有被采纳的提案Classic 05 · Category Theory

提出F. William Lawvere，1964 年《美国国家科学院院刊》52:1506–1511《集合范畴的初等理论》。　流变1970 年代被拓扑斯理论吸收（本块经十一）；作为数学基础的替代方案，它在教学与实践中的采纳率始终很低。　今用本块丙「单价基础与类型论的合流」是这条路线上第一个被真正采纳的版本。　关键把集合论公理改写成关于集合与函数的范畴公理，不预设元素属于关系。

1964 年之前，数学的基础只有一种可用形态：ZFC，一切对象归结为集合的属于关系。Lawvere 提出另一种——只谈集合与函数、终对象与幂对象，不谈元素属于哪里，并证明这套公理足以支撑通常的数学。命题本身不难验证，难的是它挑战的东西：基础不是唯一的，选哪一套基础是一个可以讨论的判断，而不是给定条件。

它的边界是采纳率而不是正确性：六十年过去，绝大多数数学家仍在事实上使用集合论，教材、教学与文献的惯性远大于形式上的优劣。这条经典因此提供了一个可检验的读数——一套基础被证明可行，与它被使用，是两件事。本块丙今天报告的单价基础，是这条路线上第一个获得实际采纳的版本，而它的采纳靠的不是论证，是有了可运行的证明助手。

位置S——它把「一套可行的公理」当成单独够用的那一样　预设〔1 谁进入分母〕默认什么算一个基本对象、谁有资格作基础，是一次定死的　量纲实际以该基础工作的研究者数∶承认该基础可行的研究者数　失效当替代基础缺少可运行的工具时，可行性论证不改变任何人的日常做法　异名技术采纳研究称「优越技术未必胜出」，标准竞争称「路径依赖」；另见本块丙

经六、可表定理：满足条件的函子必然来自一个对象Classic 06 · Category Theory

提出Peter Freyd，1964 年《阿贝尔范畴》，Harper & Row（另见 Freyd 伴随函子定理，同书）。　流变Brown 1962 年在拓扑侧给出同类结果；可表性此后是模空间、分类空间与谱构造的共同判据。　今用本块七「稳定 ∞-范畴重写同调代数」里的构造，多数仍以可表性为存在性依据。　关键保极限并满足解集条件的函子可表，被表示的对象由泛性质唯一确定。

1964 年之前，构造一个对象的标准做法是把它造出来。可表定理换了路线：先写下这个对象应当满足的性质（即一个函子），再检查这个函子是否保极限、是否满足解集条件；若是，则被表示的对象存在且唯一。存在性问题因此变成一次可执行的检查，而不必事先知道对象长什么样。

它的边界是解集条件：这条技术性要求在大范畴上常不成立，而它不成立时定理无话可说——不是对象不存在，是判据失效。另一处代价是所得对象的不可见性：知道它存在、知道它的泛性质，却可能对它的内部构造一无所知，进一步的计算仍需另造模型。本块七今天在稳定范畴里的存在性论证，基本沿用这条路线，也继承了这条落差。

位置E——它把「一个函子的形式性质」当成单独够用的那一样　预设〔2 单一读数代表复杂对象〕默认一个函子足以代表它所刻画的对象的全部信息　量纲可由可表性判据确认存在的构造数∶所需构造的对象总数　失效当解集条件不成立时判据失效，且判据给出存在性也不给出可计算的模型　异名数学规划称「存在性证明与算法之分」，工程学称「规格可满足性检查」；另见本块七

经七、分式计算：把一批态射强行变成同构Classic 07 · Category Theory

提出Pierre Gabriel 与 Michel Zisman，1967 年《分式计算与同伦论》，Springer Ergebnisse 第 35 卷。　流变局部化此后成为同伦论与导出范畴的共同工序；集合论上的规模问题（局部化后 hom 可能不是集合）长期只能靠模型范畴回避。　今用本块乙「模型之间被证明等价」比较的，正是几套局部化路线是否给出同一个结果。　关键指定一类态射并形式地取逆，得到的局部化范畴由泛性质唯一确定。

1967 年之前，「把拟同构当成同构」这件事是靠约定完成的：读者被要求在心里等同一批对象。Gabriel 与 Zisman 给出正式做法：把要反转的态射作为数据，构造局部化范畴，并用左右分式条件给出可计算的态射表示。同伦论与同调代数的共同工序由此第一次有了范畴论的写法。

它的边界是两处代价。其一是规模：形式地取逆之后，两个对象之间的态射可能不再构成集合，这个问题在很长时间里只能靠模型范畴（本块经八）绕开。其二是信息丢失：局部化之后，被反转的那批态射之间的差别整体消失，而某些问题恰恰需要那批差别。本块乙今天比较不同模型是否给出同一个 ∞-范畴，比的就是这道工序的不同实现是否一致。

位置D——它把「一次形式取逆」当成单独够用的那一样　预设〔26 顺序无关〕默认反转态射的次序与方式不影响所得范畴　量纲局部化后仍可显式计算的态射类数∶原范畴中的态射类总数　失效当局部化后 hom 不再是集合时，所得对象超出范畴论的常规框架，须另设规模约定　异名代数称「环的局部化」，信号处理称「不可逆压缩」；另见本块乙

经八、模型范畴：把「同伦论的做法」本身公理化Classic 08 · Category Theory

提出Daniel Quillen，1967 年《同伦代数》，数学讲义集第 43 卷，Springer。　流变Quillen 等价成为比较不同模型的标准判据；1990 年代之后模型范畴被逐步当作通往 ∞-范畴的脚手架，而非终点。　今用本块庚「∞-范畴从多套模型收敛为可用接口」处理的正是这批脚手架的收敛问题。　关键三类态射加提升与分解公理，使同伦论的论证可在任意满足公理的范畴中进行。

1967 年之前，同伦论的论证是拓扑空间上的具体操作：同伦、纤维化、上纤维化都指着具体的映射说话。Quillen 把这些操作抽出来做成公理——弱等价、纤维化、上纤维化三类态射，加上提升与分解——并证明满足公理的范畴自动带有同伦范畴。链复形、单纯集、拓扑空间因此被证明在做同一件事，而 Quillen 等价给出了「同一件事」的判据。

它的边界是脚手架属性：模型结构是附加在范畴上的一套选择，同一个同伦论可以有多套模型结构，而模型结构本身不是不变量。1990 年代之后这一点被正面接受——模型范畴用来搭建，而不是用来陈述结论。本块庚今天报告的收敛，收的正是这批脚手架：多套模型被证明给出同一个 ∞-范畴之后，结论才可以脱离具体模型来陈述。

位置S——它把「一套公理化的做法」当成单独够用的那一样　预设〔11 可复现＝可重做〕默认把做法写成公理即可让它在别的范畴里原样重做　量纲可由 Quillen 等价判定为同一同伦论的模型对数∶所比较的模型对总数　失效当同一同伦论有多套不等价的模型结构时，模型结构本身不是不变量，结论不能挂在它上面　异名软件工程称「脚手架与产物之分」，实验科学称「装置依赖的结论」；另见本块庚

经九、双范畴：结合律只到相差一个同构Classic 09 · Category Theory

提出Jean Bénabou，1967 年《双范畴引论》，数学讲义集第 47 卷，Springer:1–77。　流变相干性定理（Mac Lane 1963 年）说明一致性条件何时可以自动满足；更高层的相干性此后成为高阶范畴论的主要技术困难。　今用本块九「双范畴与多范畴：关系、过程和重写进入同一图」是这条线的当代形态。　关键合成只在相差一个可逆二维胞腔的意义下结合，一致性由相干条件保证。

1967 年之前，范畴论默认合成严格结合。但许多自然的例子（关系、张量积、跨度）只在相差一个典范同构的意义下结合，强行严格化会丢掉信息。Bénabou 给出双范畴：容纳这种弱结合，并用相干条件保证所有由结合律拼出的图都交换。「等于」与「同构」从此在结构层面被区分开。

它的边界正是相干性的代价：层数每升高一层，需要校验的一致性条件就增长一档，手工写出三层以上的相干条件几乎不可行——这条困难直接催生了后来的 ∞-范畴路线。另一处常见误用是把双范畴当成「有两种箭头的范畴」，忽略弱结合才是它的要点。本块九今天把关系、过程与重写放进同一张图，靠的正是这条经典腾出来的那一层松弛。

位置E——它把「一组相干条件」当成单独够用的那一样　预设〔17 局部最优可加总为整体最优〕默认局部的相容条件足以保证所有拼出来的图整体交换　量纲由相干条件自动交换的图数∶该结构中需要交换的图总数　失效当层数升高时相干条件的数量迅速增长，手工校验不可行，弱结构须换整套框架描述　异名分布式系统称「局部一致不蕴含全局一致」，装配工艺称「公差累积」；另见本块九

经十、导出范畴：先把消解丢掉，再谈函子Classic 10 · Category Theory

提出Jean-Louis Verdier，1967 年博士论文；正式出版见 1996 年《Astérisque》第 239 卷《阿贝尔范畴的导出范畴》。　流变三角范畴的锥不是函子性的，这一缺陷此后由稳定 ∞-范畴与 dg 范畴修正；三角范畴至今仍在大量文献中使用。　今用本块丁「导出几何的雏形」与本块七都建立在这条构造之上。　关键把链复形范畴按拟同构局部化，得到的三角范畴上导出函子自然定义。

1967 年之前，导出函子的计算依赖具体的内射或投射消解，而消解不唯一，结论与选择无关这件事每次都要另证。Verdier 的处理是把拟同构整体反转（用本块经七的工序），得到导出范畴：复形的具体形态被丢掉，剩下的是同调层面的信息，导出函子在这里成为自然定义的对象，谱序列则是它的计算工具。

它留下的缺陷是这门学科最著名的一处：三角范畴中的映射锥不是函子的，由此，从两个交换图不能唯一地得出第三个。几十年里大家绕着这个洞工作，直到稳定 ∞-范畴把它补上——补法不是修三角范畴，而是保留原本被丢掉的高阶信息。本块丁与本块七今天用的正是这条修补后的版本。

位置S——它把「同调层面的信息」当成单独够用的那一样　预设〔25 失败样本不含信息〕默认复形的具体形态在被拟同构反转后不再携带要紧的信息　量纲在导出范畴中仍可唯一确定的构造数∶原本需要唯一确定的构造总数　失效当锥的函子性被需要时，三角范畴不足以给出唯一结果，被丢掉的高阶信息必须找回　异名统计学称「充分统计量的选择」，工程学称「有损抽象的返工成本」；另见本块丁

经十一、拓扑斯：逻辑随范畴改变Classic 11 · Category Theory

提出F. William Lawvere 与 Myles Tierney，1970 年前后提出初等拓扑斯；Lawvere 的报告见《1970 年尼斯国际数学家大会论文集》第 1 卷:329–334《量词与层》。　流变Grothendieck 拓扑斯被证明是初等拓扑斯的特例；内部语言此后成为综合微分几何、层语义与同伦类型论的共同工具。　今用本块五「与逻辑和计算的接口」里的多数构造，都以某个范畴的内部逻辑为落脚点。　关键有子对象分类子的笛卡尔闭范畴自带一套直觉主义逻辑，逻辑随范畴而变。

1970 年之前，逻辑被当作数学之外的一层：先有逻辑，才谈得上证明什么。Lawvere 与 Tierney 证明，一个满足少数条件的范畴自带一套逻辑——子对象分类子给出真值对象，而这套逻辑一般是直觉主义的，排中律不必成立。换一个范畴，就换一套可证的东西：逻辑从背景变成了随对象变化的读数。

它的边界在于这套逻辑的强度不由使用者选择：在层拓扑斯里排中律与选择公理通常失效，习惯经典推理的人会在不知情处出错。另一处是它把「什么算成立」相对化了——同一命题在不同拓扑斯里真值不同，这既是它最有用的性质，也是最容易被误用的地方。本块五今天讨论范畴与逻辑、计算的接口时，起点仍是这条命题。

位置E——它把「范畴自带的那套逻辑」当成单独够用的那一样　预设〔14 因与果的方向是给定的〕默认逻辑先于数学、单向决定什么可以被证明　量纲在给定拓扑斯内部仍成立的经典推理规则数∶经典逻辑的推理规则总数　失效当使用者默认排中律而所在拓扑斯不满足时，推理在不报错的情况下失效　异名逻辑学称「内在语义」，法学称「准据法的选择」；另见本块五

经十二、一本给工作数学家的书：术语被统一了Classic 12 · Category Theory

提出Saunders Mac Lane，1971 年《为工作数学家而写的范畴论》，Springer 研究生数学教材第 5 卷（第二版 1998 年）。　流变此后的教材（Borceux、Riehl、Leinster）在覆盖面上各有扩展，但记号与顺序基本沿用；高阶范畴部分至今没有同等地位的入门书。　今用本块二「从技术到基础设施」所说的普及，很大程度上是由这本书完成的。　关键把范畴、函子、自然变换、伴随、极限、单子压成一本可教学的标准顺序。

1971 年之前，范畴论散在各家论文的预备节里，记号与术语彼此不一致，读者要为每篇论文重学一遍词汇。Mac Lane 把它整理成一本教材，确定了今天通用的记号与讲授顺序，并明确了这门学科对外的定位——不是一门自足的学科，而是给工作数学家用的工具。此后二三十年，范畴论的普及速度与这本书的印数几乎同步。

它的边界是覆盖面与时间：书里没有高阶范畴、没有模型范畴的现代处理，而这些正是本块甲、本块庚今天的主线，至今没有同等地位的入门书。另一处后果与所有标准教材相同——一代人共享同一批例子与同一批盲点，书中未强调的方向（增强范畴、多范畴）长期被当作边缘。本块二谈到范畴论如何变成基础设施时，这本书是最直接的一环。

位置S——它把「一本标准教材」当成单独够用的那一样　预设〔28 记录存在即可核对〕默认写成教材并广泛发行即等于共同体已经掌握　量纲能独立使用书中工具解决自己领域问题的读者数∶读过该书的读者数　失效当学科主线移到教材未覆盖的部分时，标准入口反而成为盲点的来源　异名教育学称「教材塑造学科形象」，标准化称「事实标准」；另见本块二

经十三、证明、程序与态射被宣布是同一件事Classic 13 · Category Theory

提出Joachim Lambek，1972 年《数学讲义集》274:57–82《演绎系统与范畴 III》；系统表述见 Lambek 与 Scott 1986 年《高阶范畴逻辑引论》，剑桥大学出版社。　流变Curry 与 Howard 早前分别给出逻辑与计算的对应，Lambek 补上第三边；这套三角此后是类型论、证明助手与程序语义的共同底座。　今用本块十二「形式化范畴论：交换图从插图变成可编译对象」正是这条对应被反过来用的结果。　关键直觉主义证明、λ 项与笛卡尔闭范畴的态射三者一一对应。

1972 年之前，逻辑、计算与范畴各说各话。Curry 与 Howard 已指出证明与程序的对应，Lambek 补上第三边：笛卡尔闭范畴的态射与简单类型 λ 演算的项一一对应，合成即代入。三个原本互不相干的世界成了同一个结构的三种写法，而这条对应不是比喻——一侧的问题可以搬到另一侧去解决。

它的边界在于对应的精确范围：一旦加进依赖类型、副作用或非终止计算，三角的某一边就要重建，简单版本不能直接推广。这条经典的现实后果在四十年后才充分显现——证明助手之所以可能，正是因为证明真的可以当作程序来运行与检查。本块十二今天把交换图变成可编译对象，用的是这条对应的反方向：范畴论的内容被搬进类型论，交给机器核验。

位置E——它把「三者之间的一一对应」当成单独够用的那一样　预设〔15 同名即同物〕默认三个世界里对应的构造在任何扩展下仍指同一件事　量纲对应在其中成立的语言特性数∶实际使用的语言特性总数　失效当加入依赖类型、副作用或非终止计算时，对应须逐项重建，简单版本不迁移　异名语言学称「同构翻译」，工程学称「跨域等价模型」；另见本块十二

经十四、增强范畴：把「态射的集合」换掉Classic 14 · Category Theory

提出Max Kelly，1982 年《增强范畴论基础》，伦敦数学会讲义系列第 64 卷，剑桥大学出版社。　流变度量空间、单纯集与谱增强的例子此后成为标准；∞-范畴的多套模型中，有一套正是在单纯集上增强得到的。　今用本块六「抽象的代价」里所说的代价，这条经典给出了最早也最清楚的一个样本。　关键把两个对象之间的 hom 从集合换成任意幺半范畴中的对象，范畴论的定理随之整体重写。

1982 年之前，范畴的定义里默认 hom 是集合。但许多结构自带更多信息：两点之间有距离、两个对象之间有一个空间而不只是一堆点。Kelly 系统地把 hom 换成任意幺半范畴中的对象，并重写了极限、伴随、Kan 扩张的全部理论——度量空间成为在实数上增强的范畴，拓扑与同伦的例子随之进来。

代价同样系统：几乎每条定理都要加上增强版的条件，证明变长，而在多数应用中这些条件自动满足，使得这一层长期被当作可选装置。边界因此不在正确性，而在收益与成本的比值——抽象的每一层都要用它带来的新例子来偿付它增加的校验量。本块六今天讨论抽象的代价，这条经典是可以直接引用的账本。

位置D——它把「更细的 hom 结构」当成单独够用的那一样　预设〔29 越精细越接近真实〕默认把结构做得更细总能换来相应的解释力　量纲增强版本带来的新例子数∶为此增加的条件与校验量　失效当新增条件在多数应用中自动满足时，这一层抽象不提供新结论，只增加成本　异名建模学称「模型复杂度与增益」，会计学称「投入产出比」；另见本块六

经十五、构造性类型论：证明必须给出对象Classic 15 · Category Theory

提出Per Martin-Löf，1984 年《直觉主义类型论》，Bibliopolis（依 1980 年帕多瓦讲义整理）。　流变恒等类型的高阶结构在 2000 年代被发现与同伦论对应，成为同伦类型论的起点；证明助手 Agda、Coq 的类型系统直接源出于此。　今用本块辛「同伦类型论：相等本身获得层级」正是这条理论中最不起眼的那一部分被重新读出来的结果。　关键命题即类型，证明即项，存在性证明必须交出构造。

1984 年之前，构造性数学多被当作哲学立场。Martin-Löf 把它做成一套可执行的形式系统：命题就是类型，证明就是该类型的一个项，「存在」必须由构造来兑现，排中律不作为公理。这套系统的特别之处是它同时是编程语言——类型检查即证明检查，此后的证明助手基本都建立在这个内核上。

它的边界当年被看作限制：不能自由使用排中律与选择公理，许多经典证明要重做甚至做不出来。而它最有价值的部分在二十年后才被读出来——恒等类型（两个项相等的证明构成的类型）本身有高阶结构，而这一点在 1984 年被当作技术细节。本块辛报告的正是这次重读：相等不再是一个判断，而是一个带层级的对象。

位置S——它把「一个可执行的形式系统」当成单独够用的那一样　预设〔8 缺失即不存在〕默认给不出构造就等于对象不存在　量纲可在该系统中构造性重做的经典定理数∶所需重做的经典定理总数　失效当所需结论依赖排中律或选择公理时，系统内无法兑现，限制由使用者承担　异名软件工程称「可执行规格」，实验科学称「可复现性优先」；另见本块辛

经十六、线性逻辑：一条从没有人计价的假设Classic 16 · Category Theory

提出Jean-Yves Girard，1987 年《理论计算机科学》50:1–102《线性逻辑》。　流变它给出的资源敏感语义此后进入并发、量子计算与可逆计算；范畴模型（*-自主范畴）由 Barr 1979 年的工作提供。　今用本块十一「光学与透镜：双向更新不必伪装成单向函数」处理的正是资源与方向不可随意复制的那一类结构。　关键去掉收缩与弱化两条结构规则，假设不能被自由复制或丢弃。

1987 年之前，逻辑里有两条几乎没人注意的规则：一个假设可以被用任意多次（收缩），也可以完全不用（弱化）。Girard 把它们去掉，得到线性逻辑——假设成为资源，用一次少一次，「蕴含」因此分裂成几种不同的连接词。这一步揭示的是：经典逻辑一直默认信息可以无代价地复制，而这条默认从未被计价。

它的边界是表达力与复杂度的交换：资源敏感带来了精确的计量，也让证明搜索与语义变得更复杂，多数日常推理并不需要这份精确。更一般的读法是：一条被认为不必写出来的结构规则，往往正是整套系统的隐含假设，把它显式化就得到一门新学科。本块十一今天处理的双向更新与不可复制结构，直接落在这条线上。

位置E——它把「一条结构规则的取舍」当成单独够用的那一样　预设〔12 成本可外置而不改变结论〕默认假设的复制与丢弃不产生任何代价　量纲在资源敏感语义下仍成立的经典推理数∶经典逻辑中的推理总数　失效当复制或丢弃本身有代价（并发、量子、可逆计算）时，经典推理给出不可实现的结论　异名经济学称「外部性未计价」，物理学称「信息擦除的能量代价」；另见本块十一

经十七、单子：副作用被写成结构而不是例外Classic 17 · Category Theory

提出Eugenio Moggi，1991 年《信息与计算》93:55–92《计算的概念与单子》。　流变Giry 1982 年的概率单子给出概率侧的实例；代数效应与 handler 在 2000 年之后成为它的替代与推广。　今用本块十「范畴语义进入概率编程：随机核也能组合」用的正是这条把「不确定性」写成单子的做法。　关键异常、状态、非确定与概率等副作用可统一表示为单子，程序即 Kleisli 态射。

1991 年之前，程序语言语义把副作用当成麻烦：纯函数有干净的数学模型，而带状态、异常或随机的程序只能逐项特殊处理。Moggi 指出这些情形共享同一个结构——单子，程序不再是从值到值的函数，而是从值到「被单子包裹的值」的态射，合成由 Kleisli 范畴给出。副作用从例外变成了可组合的对象。

它的边界在组合性：两个单子不能自动合成，同时需要状态与概率时必须手工构造变换器，这一点后来催生了代数效应。更深一层的是它没有取消那条默认——被包裹的值仍被当作可以脱离上下文谈论，而在概率与并发中，上下文本身会回写到值上。本块十今天把随机核放进同一套组合框架，正是在这条边界上继续推进。

位置D——它把「一个统一的包裹结构」当成单独够用的那一样　预设〔18 干预不回写到被干预者〕默认副作用只包裹结果，不改变被计算的值本身　量纲可由单子统一表示的副作用种类数∶实际出现的副作用种类总数　失效当多种效应需要同时组合时，单子不自动合成，统一表示须逐例手工重建　异名系统工程称「关注点分离」，会计学称「表外项目」；另见本块十

经十八、搬进编程语言：抽象第一次有了大量使用者Classic 18 · Category Theory

提出Philip Wadler，1992 年《第十九届 ACM 程序设计语言原理研讨会论文集》:1–14《函数式编程的本质》。　流变Haskell 在 1990 年代中期把单子写进标准库，此后 Scala、Rust、TypeScript 等以不同形态引入同一套构造；多数使用者不知道它的范畴论来源。　今用本块四「走出数学：应用范畴论」讨论的输出方式，这是最成功也最少被提及的一次。　关键把单子作为程序结构写进语言，纯函数式语言由此可以处理输入输出与状态。

Moggi 给出语义之后，Wadler 做的是另一件事：把它写成程序员能用的东西。他证明单子不只是语义工具，还是组织程序的方式：解析器、状态、异常与输入输出可用同一套写法拼装。Haskell 随后把它写进标准库，一个范畴论构造由此获得了数十万名日常使用者，而其中绝大多数并不知道它从哪里来。

这条经典最值得记的边界是名称与理解的分离：使用者掌握的是接口与用法，范畴论那一层既不必要也不出现在文档里。从输出角度看这是成功：工具真正被用了；从学科角度看它留下一个可检验的问题：理论的影响该按引用计还是按使用计。本块四今天讨论应用范畴论时，这条经典给出的是最高的一次实际采纳率，以及最低的一次可见度。

位置E——它把「一次接口层面的移植」当成单独够用的那一样　预设〔27 能力可与承载它的人分离〕默认把构造写进语言即完成了理论的迁移　量纲日常使用该构造的程序员数∶了解其范畴论来源的程序员数　失效当使用者只掌握接口而不掌握其成立条件时，超出常规用法的场景无人能判断对错　异名技术转移称「黑箱化」，教育学称「工具性掌握」；另见本块四

经十九、高维代数：数学家与物理学家共同定义对象Classic 19 · Category Theory

提出John Baez 与 James Dolan，1995 年《数学物理杂志》36:6073–6105《高维代数与拓扑量子场论》。　流变配边假设由 Lurie 在 2009 年前后给出证明纲要；n-范畴的定义在 1990 至 2000 年代出现十余种互不明显等价的版本。　今用本块甲「把高阶范畴做成能用的东西」处理的正是这份提案留下的定义问题。　关键把拓扑量子场论表述为高维范畴之间的函子，并提出配边假设。

1995 年之前，n-范畴是一个大家都在谈、却没有公认定义的东西。Baez 与 Dolan 把它与物理接上：拓扑量子场论应当是从配边高维范畴出发的函子，而完全可对偶对象则由一个点上的数据完全决定（配边假设）。提案的特别之处是先给出对象要满足什么，再让定义去追赶——此后十几年出现十余种 n-范畴定义，判准正是能否兑现它。

它的边界是「多种定义」的长期并存：十余个版本互不明显等价，比较工作本身成了一个研究方向，本块乙报告的正是这条比较线。另一处是这份提案的评判权分散在两个学科之间——物理侧认为可用，数学侧要求可证，两侧对「已经成立」的标准不同。本块甲今天说的「做成能用的东西」，指的正是这份提案终于有了可操作的定义与接口。

位置E——它把「一份跨学科的规格」当成单独够用的那一样　预设〔7 效果可由参与者自己评定〕默认提出规格的共同体可以同时判定它是否被兑现　量纲被证明互相等价的 n-范畴定义对数∶已提出的定义对总数　失效当两侧对「已经成立」的标准不同时，同一份规格在两个学科里得到不同的完成度判断　异名标准化称「多实现并存期」，项目管理称「验收标准分歧」；另见本块甲

经二十、拟范畴：多套模型里选出一个能干活的Classic 20 · Category Theory

提出André Joyal，2002 年《纯粹与应用代数杂志》175:207–222《拟范畴与 Kan 复形》。　流变Boardman 与 Vogt 1973 年已给出同一对象的雏形；Lurie 2009 年的《高等拓扑斯理论》把它发展成完整的工作框架，此后成为事实标准。　今用本块庚「∞-范畴从多套模型收敛为可用接口」报告的就是这一选择被普遍接受的过程。　关键满足内角提升条件的单纯集可作为 ∞-范畴的模型，范畴论的基本构造在其中全部重建。

2002 年之前，∞-范畴有多套候选模型——单纯范畴、完全 Segal 空间、拟范畴等，每套都能定义，却没有一套被推到「能拿来做数学」的程度。Joyal 系统地在拟范畴里重建了极限、伴随、Kan 扩张这些基本构造，证明这套模型不只是定义，而是可以工作的框架。选哪一套模型，从此从品味问题变成了工程问题。

它的边界是模型依赖：拟范畴里的许多论证需要单纯集的技术，换一套模型就要换一套技巧，而不同模型之间的等价虽被证明，却不是逐条自动搬运的。另一处是入门成本——这套框架的完整展开长达上千页，使得「使用 ∞-范畴」与「懂 ∞-范畴」在很长时间里是两拨人。本块庚今天说的收敛为可用接口，收的正是这两条：模型选定，接口稳定，技术细节可以不看。

位置D——它把「一套选定的模型」当成单独够用的那一样　预设〔20 窗口内稳定＝长期稳定〕默认在基本构造上验证过的模型等价，在更高层的构造上继续成立　量纲已在该模型中重建的范畴论构造数∶需要重建的构造总数　失效当模型之间的等价不能逐条自动搬运时，一个模型里的结论不自动成为另一个模型里的结论　异名软件工程称「参考实现」，标准化称「多实现的一致性负担」；另见本块庚

◎ 这一层怎么用

先按「今用」栏或碰撞行的「异名」栏找到上文对应的现代条，再把两条的对象、判据与失效条件并排读。两条若只共享名词而不共享失败情形，只登记为异名；量纲若能逐项换算，再判断现代条究竟继承、修正还是反转了这条老命题。本层二十条指向上文十九个不同位置，合起来构成一条可倒查的时间轴，而不是某一条的背景介绍。

三条使用纪律。其一，年份边界与两幕严格不重叠，提出年份落在 1950 至 2006 年之间，更早的奠基工作（Eilenberg 与 Mac Lane 1945 年的原始论文）只在正文里被点名。其二，经典身份不提供豁免——三角范畴的锥不是函子的，模型范畴只是脚手架，ETCS 作为基础的采纳率至今极低，这些边界正是这一层最值钱的信息。其三，两层不比高下：只读现代层判断不出新在哪里，只读经典层看不出哪一条已经被换掉。

◎ 经典层资料核验

  1. Eilenberg, S. and Steenrod, N. Foundations of Algebraic Topology. Princeton University Press, 1952（专著）。
  2. Eilenberg, S. and Mac Lane, S. General theory of natural equivalences. Transactions of the AMS 58 (1945): 231–294。
  3. Brown, E. H. Cohomology theories. Annals of Mathematics 75 (1962): 467–484。
  4. Grothendieck, A. Sur quelques points d'algèbre homologique. Tôhoku Mathematical Journal 9 (1957): 119–221。
  5. Kan, D. Adjoint functors. Transactions of the AMS 87 (1958): 294–329。
  6. Lawvere, F. W. Functorial semantics of algebraic theories. PhD thesis, Columbia University, 1963；提要见 Proceedings of the National Academy of Sciences 50 (1963): 869–872。
  7. Lawvere, F. W. An elementary theory of the category of sets. Proceedings of the National Academy of Sciences 52 (1964): 1506–1511。
  8. Freyd, P. Abelian Categories: An Introduction to the Theory of Functors. Harper & Row, 1964（专著）。
  9. Gabriel, P. and Zisman, M. Calculus of Fractions and Homotopy Theory. Ergebnisse der Mathematik 35. Springer, 1967（专著）。
  10. Quillen, D. Homotopical Algebra. Lecture Notes in Mathematics 43. Springer, 1967（专著）。
  11. Bénabou, J. Introduction to bicategories. Lecture Notes in Mathematics 47. Springer, 1967: 1–77。
  12. Mac Lane, S. Natural associativity and commutativity. Rice University Studies 49 (1963): 28–46。
  13. Verdier, J.-L. Des catégories dérivées des catégories abéliennes. Astérisque 239 (1996)（1967 年博士论文的正式出版，专著）。
  14. Lawvere, F. W. Quantifiers and sheaves. Actes du Congrès International des Mathématiciens Nice 1970, vol. 1: 329–334。
  15. Tierney, M. Sheaf theory and the continuum hypothesis. Lecture Notes in Mathematics 274. Springer, 1972: 13–42。
  16. Johnstone, P. Sketches of an Elephant: A Topos Theory Compendium. Oxford University Press, 2002（专著）。
  17. Mac Lane, S. Categories for the Working Mathematician. Graduate Texts in Mathematics 5. Springer, 1971; 2nd ed. 1998（专著）。
  18. Borceux, F. Handbook of Categorical Algebra, 3 vols. Cambridge University Press, 1994（专著）。
  19. Riehl, E. Category Theory in Context. Dover, 2016（专著）。
  20. Lambek, J. Deductive systems and categories III. Lecture Notes in Mathematics 274. Springer, 1972: 57–82。
  21. Lambek, J. and Scott, P. Introduction to Higher Order Categorical Logic. Cambridge University Press, 1986（专著）。
  22. Howard, W. The formulae-as-types notion of construction. In: To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, 1980: 479–490。
  23. Kelly, M. Basic Concepts of Enriched Category Theory. LMS Lecture Note Series 64. Cambridge University Press, 1982（专著）。
  24. Lawvere, F. W. Metric spaces, generalized logic, and closed categories. Rendiconti del Seminario Matematico e Fisico di Milano 43 (1973): 135–166。
  25. Martin-Löf, P. Intuitionistic Type Theory. Bibliopolis, 1984（专著）。
  26. Girard, J.-Y. Linear logic. Theoretical Computer Science 50 (1987): 1–102。
  27. Barr, M. *-Autonomous Categories. Lecture Notes in Mathematics 752. Springer, 1979（专著）。
  28. Moggi, E. Notions of computation and monads. Information and Computation 93 (1991): 55–92。
  29. Giry, M. A categorical approach to probability theory. Lecture Notes in Mathematics 915. Springer, 1982: 68–85。
  30. Plotkin, G. and Power, J. Algebraic operations and generic effects. Applied Categorical Structures 11 (2003): 69–94。
  31. Wadler, P. The essence of functional programming. Proceedings of the 19th ACM Symposium on Principles of Programming Languages, 1992: 1–14。
  32. Peyton Jones, S. and Wadler, P. Imperative functional programming. Proceedings of the 20th ACM Symposium on Principles of Programming Languages, 1993: 71–84。
  33. Baez, J. and Dolan, J. Higher-dimensional algebra and topological quantum field theory. Journal of Mathematical Physics 36 (1995): 6073–6105。
  34. Leinster, T. Higher Operads, Higher Categories. Cambridge University Press, 2004（专著）。
  35. Joyal, A. Quasi-categories and Kan complexes. Journal of Pure and Applied Algebra 175 (2002): 207–222。
  36. Boardman, J. and Vogt, R. Homotopy Invariant Algebraic Structures on Topological Spaces. Lecture Notes in Mathematics 347. Springer, 1973（专著）。
  37. Lurie, J. Higher Topos Theory. Annals of Mathematics Studies 170. Princeton University Press, 2009（专著）。
  38. Bergner, J. A survey of (∞,1)-categories. In: Towards Higher Categories, IMA Volumes 152. Springer, 2010: 69–83。
  39. Kelly, M. and Street, R. Review of the elements of 2-categories. Lecture Notes in Mathematics 420. Springer, 1974: 75–103。
  40. Street, R. The formal theory of monads. Journal of Pure and Applied Algebra 2 (1972): 149–168。
  41. Beck, J. Distributive laws. Lecture Notes in Mathematics 80. Springer, 1969: 119–140。
  42. Deligne, P. Catégories tannakiennes. In: The Grothendieck Festschrift, vol. 2. Birkhäuser, 1990: 111–195。
  43. Barr, M. and Wells, C. Toposes, Triples and Theories. Springer, 1985（专著）。
  44. Awodey, S. Category Theory. Oxford University Press, 2006（专著）。
  45. Adámek, J. and Rosický, J. Locally Presentable and Accessible Categories. Cambridge University Press, 1994（专著）。

本表只列经典层（1950–2006）所依据的出处，不并入上文现代层的资料核验。专著、讲义集与机构文件按原始形态著录：这一段年代的正主本来就有相当比例不是期刊论文，改引一篇后世综述反而失真。2006 年之后的文献只用于说明流变，不改变经典条的入选年份。

新思想前沿 · 第 4 号《范畴论》· 20 条现代思想 ＋ 20 条 1950–2006 经典思想 · 双层资料核验 · 王德生 亲撰 · ← 回到 626 个领域总览