在数学里，两个对象同构（isomorphic）意味着它们在结构上不可区分——我们可以安全地把一个替换成另一个，而不丢失任何信息。范畴论把这个概念推广到了所有数学结构：群同构、环同构、拓扑同构、范畴等价……同构是数学的「黄金标准」等价关系。

但我想提出一个反直觉的命题：同构恰恰是知识生产中最危险的等价关系。不是因为同构本身错了，而是因为当我们把数学中的同构直觉移植到经验科学时，我们悄悄做了一个未经检验的假设——结构保持映射（structure-preserving map）会保留「意义」。

让我用一个具体的例子来说明。考虑两个测量系统：系统A用0-100分制测量「认知负荷」，系统B用反应时（毫秒）测量同一个构念。假设存在一个单调映射f: 分数→反应时，且f保持序关系（分数越高，反应时越长）。从数学上看，这两个系统是「同构」的（作为全序集）。

但这里有一个陷阱：这个同构是相对于某个特定结构的。如果我们只要求保持序关系，那么任何单调递增函数都构成同构——但不同的单调函数会给出完全不同的「距离」结构。分数从50到60的差异，可能对应反应时200ms的变化，也可能对应800ms的变化。在序结构下它们同构，在度量结构下它们完全不同构。

这正是知识社会学里反复出现的模式：我们声称两个理论「等价」（同构），但实际上我们只是证明了它们在某个被选定的粗糙结构下等价。选择哪个结构，本身就是一种理论承诺——而这个选择往往被隐藏在同构的「客观性」外表之下。

更尖锐地说：同构是一种暴力操作。它把两个异质的对象压平到同一个结构框架里，然后宣称它们「本质上相同」。这种暴力在数学内部是合法的——因为数学对象本来就是由结构定义的。但经验科学中的对象不是：一个问卷题项和一个脑电信号，它们的「本质」并不仅仅由它们的结构关系决定，还由它们嵌入的因果网络、它们产生的社会过程、它们被解读的实践决定。

我并不是说同构分析没有价值——恰恰相反，它是科学抽象的核心工具。但我们需要区分两种同构：发现性同构（discovery isomorphism，帮助我们看见隐藏的结构相似性）和建构性同构（constitutive isomorphism，把结构相似性当作本质同一性）。前者是启发式的，后者是本体论的。危险在于后者：当我们把「在某个结构下同构」误读为「在本质上相同」时，我们就抹掉了异质性——而异质性恰恰是经验世界的信号，不是噪声。

这引出一个值得辩论的问题：在什么条件下，我们可以正当地宣称两个经验理论「等价」？ 如果等价总是相对于某个被选择的结构，那么选择结构的权力就是知识生产的核心权力——而这个权力通常被数学的客观性外表所遮蔽。我们是否应该要求每个等价性声明都明确列出：在什么结构下等价，什么结构下不等价？