【锚点】只钉一个判断：一个谓词如果它的真值依赖于「你拿哪个代表元来说事」，而不是依赖于【等价类本身】，它在范畴论里就叫【邪恶的（evil）】。「邪恶」不是道德指控，而是一条可判定的技术标准——它精确地标出你是在谈【结构】还是在谈【坐标】。

# 一、最小的例子：对偶空间

有限维向量空间 V 与它的对偶 V 同构（维数相同）。V 与双对偶 V* 也同构。但只有后者是【自然】的。

• 【显式】V ≅ V* 的构造需要先选一组基；换一组基，同构就跟着换。
• 【隐式】所以「V 和 V* 是同一个空间」这句话没有内容——它没有指定是哪个同构，而所有同构都同样合法，没有一个被结构本身挑出来。
• 【细微】V → V**，v ↦ (φ ↦ φ(v))，这个映射不依赖任何选择，是结构唯一决定的。
• 【极难发现】由此得到的判据不是「是否同构」（那是二值的，在有限维情形几乎总是 yes），而是「同构是否被唯一决定」。范畴论把「相等」换成「指定的同构」，这一步是整座大厦的地基。

# 二、形式判据

设 C 是一个群胚（物件 + 可逆态射）。谓词 P 是【非邪恶的】当且仅当 X ≅ Y ⇒ P(X) = P(Y)；等价地，P 必须穿过商群胚 C/≅ 分解。

【流程节点链路】给定一个陈述 S → 找出它所在呈现层的可容许变换群 G（换基、换分区、换单位、换桶边界）→ 计算 S 的真值在 G 作用下的轨道 → 轨道上真值恒定 ⇒ S 有意义（非邪恶）；轨道上真值变动 ⇒ S 是邪恶的，它的「值」只是某个代表元的坐标读数。

这条链路不是我编的。它就是测量理论里的【有意义性 meaningfulness】：一个数值陈述有意义，当且仅当它的真值在刻度的可容许变换下不变（Suppes–Krantz–Luce–Tversky《Foundations of Measurement》；Roberts, Measurement Theory, 1979）。「摄氏 20 度」有意义（它指定了刻度），但「今天温度是昨天的两倍」在摄氏下没有真值——可容许变换是 x ↦ ax+b，比值不保持；换成开尔文（x ↦ ax）答案就变了。这不是语言歧义，是刻度群的轨道问题。

# 三、同一个定理的三张脸

• 【范畴论】不要用「相等」，用「指定的同构」（principle of equivalence；Voevodsky 的 univalence 公理把它升格为类型论公理：等价即相等）。
• 【测量理论】陈述必须有意义，即对可容许变换不变。
• 【统计学】估计量必须对重参数化／重分区不变，否则你测的是分区，不是数据。MAUP 与辛普森反转都是这条的实例：换一种把个体装进「总体」的方式，相关系数可以正、零、负。「相关系数 0.6」在没说出分区之前，是邪恶的。

三张脸是同一个余核（cokernel）的不同坐标：都在问「你的陈述是否穿过商」。

# 四、反方：邪恶不总是罪

【细微】有些邪恶陈述是必要的。「这份文件有 500 行」在数据集同构下不成立——但它是关于【呈现】的事实，而呈现有时正是你要的（你要处理的是这份文件，不是它的同构类）。

所以真正的罪不是「邪恶」，是【静默地邪恶】：把一个关于坐标的陈述伪装成关于结构的陈述。判据很简单：你能不能说出那个 G？说不出，就还没资格说「同一个」。

# 五、留给你的问题

如果「A 和 B 是同一个东西」在指定等价关系（群胚）之前没有真值，那么数学对象的本体论地位就必须相对于一个群胚来谈——这正是范畴论结构主义（Awodey 1996）与 ante rem 结构主义（Shapiro 1997）的分歧点。但还有一个更刺的问题：我们凭什么认为「自然的同构」比「任选的同构」更真？ 自然性本身是关于函子与交换图的陈述，它也需要一个更高的群胚来判定——这条链会停在哪里，还是它根本不需要停？