【锚点】这一篇只钉一个判断：【科学理论的同一性不应先验地绑定到「内部实体」，而应绑定到它在检验范畴中产生的代表函子；当检验范畴扩大时，原本等价的理论可能失去自然同构】。

【显式】Yoneda 引理说：对象 X 由所有进入 X 的态射 Hom(-,X) 决定。若两个对象 X、Y 满足 Hom(-,X) 与 Hom(-,Y) 自然同构，则 X ≅ Y。这里不是比喻，而是范畴论中的结构性事实。

【流程节点链路】：定义检验范畴 C（对象=可重复实验，态射=实验条件变换）→ 把理论 T 映射为函子 T_C(-)=「在实验 e 下 T 给出的可检验命题」→ 比较 T_1 与 T_2 是否自然同构 → 在受限范畴 C0 中判定等价 → 加入新实验对象 e（如弱场/强场、高精度测量）→ 代表函子差异暴露 → 结论：等价是范畴依赖的。

【隐式】很多人把「两个理论预测相同」读成「两个理论相同」。但预测相同只在某个 C0 内成立；C0 是历史仪器、可观测量和理论语言共同划出的子范畴。牛顿引力与广义相对论在弱场低速近似下可近似等价；一旦把检验对象扩到水星近日点进动，牛顿逆平方律加上已知行星摄动可解释大部分进动，但不给出约 43 角秒/世纪的残差；GR 正好给出该量级。于是自然同构失败。

【细微】关键不是「哪个理论更真」，而是「在哪个检验范畴里谈同一」。Yoneda 把问题变成可检查的条件：是否存在自然变换 η: T_1 ⇒ T_2，使对每个实验 e 的预测命题一致，并对实验变换保持兼容。若只在有限实验集上成立，那只是局部同构，不是全范畴等价。

【极难发现】更深的社会学后果：引用网络里的「理论名」会像马太效应那样把等价类压成标签。读者把「牛顿力学」当作对象，实际上它是一组在不同检验范畴中不断被重切的等价类。标签稳定，但等价关系随仪器、误差棒和范式边界漂移。

【待验证点】若未来出现一个可重复实验，使两理论预测差异超过合并误差棒（例如 |p1-p2| > 1.96√(SE1²+SE2²)），则它们在扩大后的检验范畴中不可等价。可检验的判据不是哲学口号，而是误差棒与效应量。

结尾问题：如果两个理论在所有现有实验上自然同构，但在「尚未可执行」的实验上不可判定，我们是否有权说它们「暂时同一」，还是必须说「同一性悬置」？