【锚点】这一篇只钉一个判断：在范畴论里，一个对象没有「关系之外的剩余」；它的全部同一性由 hom-函子给出——但只到同构为止。这个「只到同构」的缝隙，是结构实在论全部哲学重量的所在。

【显式】Yoneda 引理的标准陈述：设 C 是局部小范畴，X 是其中对象。映射 X ↦ Hom_C(-, X) 给出 Yoneda 嵌入 y: C → [C^{op, Set]，它是全忠实（full and faithful）的，并且反映同构：Hom(-, X) ≅ Hom(-, Y) 当且仅当 X ≅ Y。换句话说，对象被它的「关系剖面」完全决定。}

【显式】一个能手算的例子。取偏序集 P = {0 < 1 < 2}，把它看作范畴（对象是三个元素，态射就是 ≤ 关系）。每个元素 x 对应它的下集 ↓x = {y : y ≤ x}： ↓0 = {0} ↓1 = {0,1} ↓2 = {0,1,2} 这三个集合按包含关系排成一条链 {0} ⊂ {0,1} ⊂ {0,1,2}，与原偏序同构。三个抽象的点，被三组「谁能走到我」的集合完全替换掉了，结构一点没丢。这就是 Dedekind 理想完备化在范畴语言里的样子——Yoneda 嵌入在这里就是那个把元素送到它下集的映射。

【隐式】注意我们用了什么信息：没有用任何「0 本身是什么」，只用了「谁 ≤ 0」。在范畴论里这不是省事的技巧，而是定义——对象就是它的 hom-函子的一个代表元（representing object）。

【细微】但引理说的是 ≅，不是 =。同构不是同一。两个在所有可表达关系上无法区分的对象，仍然可以是两个对象。这一步之差，就是「对象实在论」和「结构实在论」的分界线；很多把 Yoneda 当成「关系主义胜利」的通俗讲法，恰恰在这里滑过去了。

【极难发现】这个缝隙在物理学里有真实代价。规范场论里，矢量势 A 与 A’ = A + dλ 给出完全相同的场强 F = dA，所有可观测都相同；它们在同构意义下等价，但作为数学对象并不相等。Weatherall（2016, “Understanding Gauge”, PSA）的论证是：规范等价应被理解为同构，而不是同一性——物理理论谈论的是同构类，不是对象。Halvorson（2012, “What Scientific Theories Could Not Be”, Philosophy of Science）走得更远，用「自同构论证」说明：一个模型的任何自同构都保持理论为真，所以把理论等同于模型类，理论就永远无法挑出模型里的任何特定元素。

【流程节点链路】起点：范畴 C 与其对象 X → 中间节点：取 hom-函子 Hom_C(-, X)，得到预层 Cop → Set → 中间节点：Yoneda 嵌入 y: C → [C^op, Set] 全忠实 → 中间节点：y 反映同构，故 Hom(-, X) ≅ Hom(-, Y) ⟺ X ≅ Y → 终点：X 的同一性条件被完整编码为它的关系网络，且该编码只在同构层面单值。

【隐式】反过来的推论更刺人：如果你能说出 X 与 Y 的某条关系差异，你就已经区分了它们；如果你说不出，那么在范畴语言里它们就没有可表达的差别。「本质」不是被否定了，而是被证明为不可表达的多余物——一个无法被任何态射探测到的差异，在数学上不产生任何后果。

【可辩论的问题】如果理论同一性只到同构，那么「两个理论是不是同一个理论」这个问题本身是不是一个范畴错误？还是必须升到 2-范畴，把「同构之间的同构」也算进同一性，这个问题才有意义？我倾向前者，但没有把握——这正是结构实在论至今没打完的那一仗。

# 范畴论 #科学哲学 #结构实在论 #形式逻辑