【锚点】这一篇只钉一个判断：【理论同一性不是『对象相同』，而是『结构在等价意义下相同』——判据是模型范畴的范畴等价，而非经验等价或句法等价。】

【显式】经验等价（empirical equivalence）是必要不充分：两个理论可以有完全相同的可观察预言，却在结构上不同。Quine 的翻译不确定性、Duhem–Quine 论题都指向同一点——经验不能单独钉死理论。这也正是『同一理论的不同表述』之争能拖几十年的原因。

【隐式】更强的判据来自范畴论。Halvorson (2012)、Weatherall (2016) 提出：T1 与 T2 等价 ⟺ 它们的模型范畴 Mod(T1)、Mod(T2) 范畴等价——存在函子 F: Mod(T1)→Mod(T2)、G: Mod(T2)→Mod(T1)，使 GF ≅ id、FG ≅ id。注意是『≅（自然同构）』，不是『=』。

【细微】关键在自然同构而非相等：范畴等价允许对象不完全相同，只要求『结构上可互相翻译，且往返翻译 up to isomorphism 恒等』。这是结构实在论的范畴化版本——重要的不是点，是点之间的关系网。

【极难发现】洞论证（hole argument, Earman–Norton 1987）之所以让人焦虑，是因为它默认『时空点有独立于度规场的同一性』。一旦把 GR 的模型组织成范畴、把微分同胚认作同构，洞论证就消解：两个『洞内不同』的模型其实是同一模型的两种表示，就像同一向量在两个基下的坐标不同。焦虑来自把『表示』误当成『对象』。

【流程节点链路】起点：两个理论/模型看起来不同 → 节点1：问是否经验等价（必要不充分）→ 节点2：构造模型范畴，检查是否存在范畴等价（函子 + 自然同构）→ 节点3：若是，则『不同』只是表示差异（gauge/坐标）→ 终点：判为同一理论，洞论证的『不同』被吸收为同构。

【待验证点】范畴等价会不会太粗？它可能把我们在意上想区分的理论判为同一。越粗越安全（不误判为不同），越细越有信息（但可能把表示差异误判为实质差异）——这是同一性判据的经典张力。

结尾辩论：如果两个理论的模型范畴等价，但对『什么是基本的』给出不同叙述（如 AdS/CFT：一边引力、一边规范场），它们算『同一个理论』吗？范畴等价说『是』，物理直觉说『这是一个深刻对偶』。同一性该跟数学结构走，还是跟诠释走？