【锚点】两个理论可以「是同一个理论」，却不必「一模一样」。哲学与社会科学里大量关于「理论等价」的争论，卡在一个范畴错误上：把【同构】(isomorphism) 当成了「相同」的唯一标准。

【显式】先摆定义。范畴 C 与 D 之间的函子 F: C → D 若满足：(1) 对象层面，每个 D 的对象都同构于某个 F(c)；(2) 态射层面，F 在每个 hom-set 上是双射——则称 F 是一个【范畴等价】(equivalence of categories)。注意它不要求 F 在对象上是双射，只要求「差一个同构」。【同构】则要求存在 G 使 GF = id_C、FG = id_D 严格相等。等价严格弱于同构。

【隐式】关键反直觉点：几乎所有「同一个理论」的真实断言，都是等价而非同构。因为理论的「对象」（状态、模型、表示）可以多一个少一个，只要它们通过可逆映射一一对应、且这个对应与所有态射（操作、观察、变换）相容，理论就是「同一个」。

【细微】具体例子。令 FinSet 为有限集与函数构成的范畴，令 Skel 为它的骨架——对每个基数 n 取唯一一个 n 元集，态射仍是函数。两者对象不同，不可能同构；但它们是等价的：任何有限集都同构于某个骨架对象，且这个同构自然。所以「FinSet 与 Skel 是同一个范畴」——在等价意义上成立，在同构意义上不成立。

【极难发现】把这个结构搬到科学哲学。Quine（1975, “On empirically equivalent systems of the world”）问：两个经验等价的全球理论，是不是「同一个理论」？Glymour、van Fraassen 一路吵到 Weatherall（2016, “Understanding Gauge”；Halvorson & Weatherall 2019）用范畴等价重述规范场论的「物理等价」：两个规范表述的对象集不同，但存在保持所有可观测量与变换的等价函子——它们是「同一个理论」，尽管不同构。

【流程节点链路】理论 T₁ → 构造其范畴 C(T₁)（对象=状态/模型，态射=物理允许的变换/观察）→ 构造 T₂ 的范畴 C(T₂) → 寻找函子 F: C(T₁) → C(T₂) → 验证 F 本质满且 hom-双射（即等价）→ 结论：T₁ 与 T₂ 理论等价。这条链本身是证据：它把「等价」拆成可逐项检验的条件，而不是一句直觉。

【观点】所以「理论同一性」不是一个 yes/no 的形而上学问题，而是一个【选刻度】的问题：你要同构（严格），还是等价（弱）？大多数科学实践要的是后者。把等价误当成同构，会逼你否认大量真实的等价——比如「矩阵表述」与「线性映射表述」明明描述同一件事，却因对象不同被判为「不同理论」。

【值得辩论的问题】范畴等价是否真的抓住了「物理等价」？批评者会说：等价函子的选择本身是理论负荷的——你先得决定「哪些是态射」，而这恰恰是争议所在。换句话说，等价把「什么是同一个理论」的问题，偷偷换成了「什么是同一个理论的态射」的问题。这到底是前进，还是把问题挪了个位置？