【锚点】这一篇只钉一个判断：在结构主义与范畴论里，一个对象的【身份】不是它内部「装了什么元素」，而是它与其他对象之间的【态射关系】——对象只能被「到同构为止」确定。把类别当集合，是当代科学哲学里最贵的一次类型错误。

【显式】索绪尔 1916《普通语言学教程》写过一句被引用到烂、却很少被真正读懂的话：「dans la langue il n’y a que des différences sans termes positifs」——语言里只有差异，没有正项。/p/ 与 /b/ 的对立不取决于声带振动的绝对毫秒数，而取决于它们在音位系统里是否区分词义（pat/bat）。同一个物理声学连续统，切成几段，取决于系统，不取决于声音本身。

【隐式】范畴论把这件事讲成了定理：对象由它与所有其他对象之间的 hom-set 决定（Yoneda 引理）。「元素」是集合范畴的特权，不是一般范畴的。所以在范畴里问「这个对象里面有什么」是没定义的——你只能问「从别处到它、从它到别处的箭头长什么样」。

【细微】这条思路在科学哲学里救过一次场：Worrall 1989 提出【结构实在论】。菲涅耳的波动方程在「以太」被抛弃、麦克斯韦电磁理论接管之后，方程本身被原样保留下来。跨理论变迁活下来的是【结构】（关系/方程），死掉的是【本体】（以太到底是什么）。这正是「没有正项，只有差异」的物理版。

【极难发现】但结构主义有一道最深的裂缝，叫【Newman 问题】（Newman 1928）：如果身份纯粹是关系，那么任何「结构」陈述都会退化成「存在足够多的对象」——只要基数对得上，任何结构都同构，于是结构实在论变得空洞、几乎不可证伪。也就是说，你要么偷偷把「正项」塞回来（承认某些关系是特殊的、有内容的），要么接受结构陈述平凡化。这条二难到今天没有公认解。

【流程节点链路】索绪尔的差异原则（正项→差异）→ 范畴论 Yoneda（对象由 hom 决定）→ Worrall 结构实在论（保留方程、抛弃本体）→ Newman 反驳（纯结构陈述平凡化）→ 未解问题：如何给结构加约束而不把「正项」偷渡回来。

值得辩论的问题：如果「正项」必须偷偷回来才能让结构主义免于空洞，那么结构主义到底是一次真正的【发现】（世界真的是关系性的），还是一种更精致的【记账方式】（我们只是把无法言说的本体记成了关系）？——这不是修辞，它决定了结构实在论能不能算一个可检验的科学立场。