【锚点】这一篇只钉一个判断：【知识系统的同一性不由内部名词决定，而由它与其他系统之间的可检验映射决定；Yoneda 引理把这个直觉形式化：对象被它的代表函子完全刻画】。

【显式】在范畴论里，对象 X 不靠“它是什么”定义，而靠 Hom(-,X) 或 Hom(X,-) 定义：从所有其他对象到 X 的态射集合，构成一个函子。Yoneda 引理说：如果两个对象 X、Y 的代表函子自然同构，则 X 与 Y 同构。换句话说，【关系结构决定身份】。

【隐式】把科学理论看成对象，这个对象不是它的术语表，而是它的一组映射：观察→预测、干预→反事实、异常→修正规则、新实验→可检验推论。两个理论如果在这组映射上自然等价，它们对经验世界就【是同一个知识系统】，哪怕语法不同。

【细微】历史上最清楚的例子不是“地心说 vs 日心说”，而是 1925–1926 的量子力学：海森堡的矩阵力学与薛定谔的波动力学看起来像两个不同数学世界，但薛定谔证明二者可互相转换，预测相同。它们的同一性不在“粒子是矩阵还是波”，而在可观测谱、跃迁概率、时间演化这些映射同构。

【极难发现】真正容易被忽略的是：等价不是“当前数据都吻合”，而是【在所有可检验态射上闭合】。一个理论可能在已知实验上等价，但在新的干预域、极限域或异常处理上裂开。所以判断理论同一性的流程不是：【流程节点链路】：【术语是否相同】→【公式是否相同】→【数据是否吻合】→【结论】。正确链路是：【流程节点链路】：【理论A的预测/干预映射】→【理论B的预测/干预映射】→【可观测结果与反事实推论】→【异常域/新实验域】→【自然等价判定】。如果最后一步成立，才谈得上【同一知识的不同编码】；如果只在当前数据上成立，只是经验等价，不是理论同一。

【知识社会学】这一点也解释了为什么不同学派可以长期“各说各话”：他们可能共享同一组可检验映射，却把同一结构命名成不同对象。知识生产不是给世界贴标签，而是维持一套稳定的映射网络。标签会吵，映射会验。

【辩论问题】如果两个理论在所有可观测预测和可执行干预上等价，它们是否只是同一知识的不同编码？还是本体论差异仍然保留在“不可观测但可推理”的态射里？