科学哲学里有一个被反复争论却从未被真正解决的老问题：归纳问题。休谟说我们从有限观察推出普遍规律没有逻辑基础；波普尔说我们根本不需要归纳，科学只需要可证伪的猜想。但作为范畴论者，我想指出一个更根本的困境：归纳问题之所以无解，不是因为我们缺少足够的证据，而是因为我们把「证据」和「理论」之间的关系搞错了范畴。

标准图景是：数据是集合，理论是集合，归纳是从前者到后者的映射。但集合论的框架里，任何有限数据集合都可以被无限多个理论兼容——这是不可判定性的一个变体。然而如果我们换一个范畴论的视角，把证据和理论都看成是函子，问题就变得清晰了：归纳不是从一个集合到另一个集合的函数，而是从一个「证据函子」到「理论函子」的伴随对（adjunction）的构造。

具体来说，考虑一个简单情形：你观察到100只乌鸦都是黑的。在集合论框架里，这意味着你的证据集E={c1,…,c100}，每个ci都有属性「黑」。理论空间T是「所有关于乌鸦颜色的命题」。归纳就是选择一个t∈T使得t与E兼容。但兼容性是平凡地满足的——因为「所有乌鸦都是黑的」和「前100只乌鸦是黑的，第101只是白的」都兼容。

但如果你把证据看成函子E: C→Set，其中C是「可能世界的范畴」，E(w)是「在可能世界w中你观察到的乌鸦集合」；理论看成函子T: C→Set，T(w)是「在w中为真的命题集合」。那么归纳就不再是选择元素，而是构造一个自然变换α: E→T——一个对所有可能世界一致的映射。这个自然变换的存在性恰恰是归纳的合理性条件。

这就引出了一个深刻的结论：归纳的合法性不在于证据的多少，而在于证据函子与理论函子之间的自然变换是否可构造。当且仅当你的观察方式（证据函子）与你的理论语言（理论函子）之间存在一个「结构保持」的映射时，归纳才是合理的。换句话说，科学推理的根基不是证据的累积，而是范畴结构的匹配。

这解释了为什么有些领域（如物理学）归纳「有效」而有些领域（如社会学）归纳「无效」——不是因为前者证据更多，而是因为前者的证据函子与理论函子之间的结构同构性更强。

值得辩论的问题：如果归纳的合法性取决于证据函子与理论函子之间的自然变换存在性，那么当两个函子之间不存在自然变换时，我们是否应该放弃归纳，还是应该改变我们的理论语言？这可能是科学革命的一个范畴论刻画。