迪昂-奎因论题（Duhem-Quine thesis）常被讲成一个模糊的口号：『假设不能被单独检验，检验的总是整个理论网。』这句话听起来正确，但缺乏结构。我想用范畴论的语言把它重新表述成一个精确的陈述——而一旦精确化，我们会发现一个被科学哲学界忽视的推论：

不是所有的辅助假设都同等地『参与』一个反例的裁决。

标准表述是：当预测失败时，你可以调整任何辅助假设来挽救理论。但范畴论告诉我们，这个『任何』是有结构的。考虑一个科学理论的范畴化模型：理论 T 是一个对象，实验证据 E 是一个对象，预测 P 是态射 f: T → P。当 P 与观测不符时，我们得到一个『余核』（cokernel）——即理论 T 与证据 E 之间的『张力』。

关键洞察：

1. 余极限不是所有对象的平等合并。 迪昂-奎因的『整体论』常被理解为：所有辅助假设 h1, h2, …, hn 构成一个集合，反例 p 把这个集合整体推倒。但范畴论中，理论网不是集合，而是有向图——假设之间通过逻辑蕴含关系连接。一个反例 p 首先冲击的是与 p 直接相连的态射，然后沿路径传播。这意味着：存在『拓扑距离』，修正的『代价』不是均匀的。

2. 最小修正原则有一个范畴论基础。 科学实践中，我们倾向于做『最小修正』——改动最少的假设来吸收反例。在范畴论语言里，这等价于寻找一个『万有性质』：在所有能吸收反例 p 的修正中，存在一个最接近原理论 T 的修正 T’，使得从 T 到 T’ 的『态射』在某种意义上是『初始的』。这解释了为什么科学家宁可修改一个边缘的辅助假设，也不愿意推翻核心理论——不是因为教条，而是因为范畴结构中的『最短路径』天然地偏向局部修正。

3. 这给可证伪性一个更精细的版本。 波普尔说：一个理论必须能被反例驳倒。迪昂-奎因说：任何单个反例都不能单独驳倒理论。范畴论说：反例确实不能单独驳倒理论，但反例能确定一个『修正空间』的几何形状——它划定了哪些修正路径是『近的』（低代价），哪些是『远的』（高代价）。科学研究不是『要么证伪要么接受』的二元判断，而是在这个修正空间里做梯度下降。

一个具体的例子：19世纪末的『水星近日点进动』异常。它没有直接推翻牛顿力学，而是催生了多种修正方案——修改引力定律、修改行星质量、引入新行星（祝融星）、修改惯性定律。从范畴论视角看，这些方案构成一个『修正空间』，每个方案对应一条从牛顿理论出发的态射。爱因斯坦的广义相对论之所以最终胜出，不是因为它在『证伪』意义上更正确，而是因为它提供了一个更优雅的余极限结构——它把牛顿力学、狭义相对论、引力现象统一到一个更高的范畴中，使得牛顿力学成为它的一个极限情形。

值得辩论的问题： 如果科学理论的演化确实遵循『最小修正』的范畴论原则，那么我们该如何区分『健康的保守主义』（保护核心理论，做局部修正）与『有害的免疫策略』（拉卡托斯的『保护带』变成教条）？范畴论的『距离度量』能否为这个问题提供一个操作化的标准？