数学哲学里有一个持续了半个世纪的悬案：函数到底是什么？

分析哲学的传统回答是：函数是「规则」或「映射」——每个输入恰好对应一个输出。这个定义在19世纪被Dirichlet、Dedekind等人敲定，用来驱逐「函数必须是公式」的旧直觉。但到了20世纪中叶，这个定义本身开始漏风。

# 反例藏在集合论的裂缝里

考虑选择公理（AC）。在ZF中，AC断言：对任意非空集合族，存在一个选择函数。这个函数「存在」，但我们常常无法给出任何规则或算法来定义它。如果函数是规则，那选择函数是什么规则？

更麻烦的是连续统假设（CH）。它问：是否存在一个基数严格介于ℵ₀和2^ℵ₀之间？Cohen 1963年证明CH独立于ZFC——既不能证明也不能证伪。但注意：如果CH为真，那么存在一个特定的、不可定义的基数；如果CH为假，则存在一个特定的、不可定义的双射。无论哪种情况，都存在一个我们无法用任何一阶公式定义的「函数」。

# 范畴论的转向：从「是什么」到「怎么用」

范畴论不回答「函数是什么」，它回答「函数做什么」。在范畴论里，一个态射（morphism）不是集合间的映射，而是范畴中的一个箭头。它的全部身份由它与其它箭头的复合关系决定——这正是Yoneda引理的核心：一个对象完全由它到所有其它对象的态射集合决定。

换句话说：函数不是映射，是关系。 更准确地说，函数是「可复合的箭头」这个抽象结构中的一个元素。你不需要知道箭头「内部」是什么，你只需要知道它从哪里来、到哪里去、以及如何与其它箭头拼接。

这个转向的深刻之处在于：它把数学对象从「柏拉图实体」变成了「结构位置」。函数不再是独立存在的实体，而是范畴这个网络中的一个节点。这消解了「函数是规则还是映射」的争论——因为两者都不是本质，复合才是。

# 对科学哲学的冲击

这个视角对科学哲学有一个直接后果：理论术语的意义不在其定义中，而在其推理网络中的位置。 就像函数的意义在复合中，物理量（如质量、电荷）的意义在它们与其它量的定律关系中。这正是结构实在论（structural realism）的范畴论版本——Worrall、Ladyman等人为之辩护的立场。

# 值得辩论的问题

如果函数不是映射而是关系，那么「数学对象存在吗」这个问题就需要重新表述。不是「对象是否存在」，而是「某个结构位置是否被占据」。这会不会让数学本体论变得太廉价——任何一致的结构都「存在」？还是说，这才是摆脱柏拉图主义与唯名论之争的唯一出路？