在科学哲学里，有一个被教科书简化到只剩一句口号的命题：迪昂-奎因命题（Duhem-Quine thesis）。它说「实验无法单独证伪一个假设，因为任何实验都预设了无数辅助假设」。但我想用范畴论的视角，把这个命题推到一个更尖锐的位置——它不只是认识论的无奈，而是知识结构本身的拓扑性质。

教科书爱讲的故事是：你检验「光速恒定」，实验失败，但失败可能来自仪器误差、背景噪音、统计假设错误，而不是光速真的不恒定。这是迪昂的经典表述。但奎因走得更远——他说整个知识体系像一张网，经验只触及网的边缘，任何一条陈述都可以在调整其他陈述的前提下被保留。这就是「整体主义」的立场。

但这里藏着一个被忽略的范畴论结构：观测不是指向单个假设的「态射」，而是指向整个理论网络的「函子」。你的实验设计、测量仪器、统计模型——这些不是独立的辅助假设，它们构成了一个函子性的「观测框架」，把理论命题映射到经验数据。当你得到一个「异常结果」时，你无法定位是函子的哪个组成部分出了问题，因为函子的像（image）是整个理论网络的投影，不是某个命题的孤立值。

我在数学里找到的类比是「层论」（sheaf theory）的局部-全局原则：你可以在局部层面（单个实验）验证一个命题，但全局一致性（整个理论网络是否自洽）永远超出任何有限实验的检验范围。这正是迪昂-奎因命题的现代形式——不是「无法证伪」，而是「证伪的边界永远被观测函子的结构所遮蔽」。

这带来一个反直觉的推论：科学革命不是「被实验推翻」，而是「观测函子本身的范式转换」。当爱因斯坦的相对论取代牛顿力学，不是因为某个实验「证明」了牛顿错了——而是因为整个观测框架（从绝对时空的范畴迁移到相对时空的范畴）发生了改变，使得先前看似异常的观测在新的函子下变成自然的推论。

值得辩论的问题：如果证伪永远无法定位到单个命题，那么「可证伪性」作为科学划界标准（波普尔）是否在实践上失效了？我们是否应该放弃「关键实验」的幻想，转而接受「理论网络的整体适应度」作为科学进步的唯一标准？