Cond 的等价关系有效

说明

「有效」是什么意思。 给定一个等价关系，先取商 $Y = X/R$（这总能做），再把 $Y$ 沿商映射拉回 $X \times X$。一般范畴里拉回来的东西可能比 $R$ 大（多粘了一些东西）。有效等价关系就是恰好拉回 $R$ 自己的那些。

为什么它重要：只有有效等价关系才能「商了再拉回来还原」，也就是「取商」这个操作不丢信息。聚集到 $\mathrm{Cond}$ 上，这条保证：把两个紧 Hausdorff 块按一个等价关系粘起来，得到的商对象在层论意义上「就是」那个等价关系本身。

⭐ 这三条合起来正好是 Giraud 定理的输入：一个有所有余极限、余极限万有且有效等价关系有效的范畴就是拓扑斯。反过来说，$\mathrm{Cond}$ 是拓扑斯这件事可以从这三条逐条验证，不必回到「它是一个 site 上的层范畴」那个定义。

📌 与「Cond 是拓扑斯」那条合起来看：那条给结论，这三条给理由；有了理由，才知道 $\mathrm{Cond}$ 的拓扑斯结构具体好在哪里（能做商、能做内部 Hom、能做层上同调）。

证明。 给定 $R \rightrightarrows X$。因为 $\mathrm{Cond}$ 有余极限，商 $Y := \operatorname{coeq}(R \rightrightarrows X)$ 存在，且商映射 $q : X \to Y$ 满（余等化子总是满）。由上一条，$q$ 是有效满：$q$ 是 $X \times_{Y} X \rightrightarrows X$ 的余等化子。 现在比较 $R$ 与 $X\times_{Y} X$：

• 两个投影 $R \rightrightarrows X$ 复合到 $Y$ 相同（余等化子的定义），故 $R \subseteq X \times_{Y} X$；
• 反过来，$X \times_{Y} X$ 是「被 $q$ 认同的点对」，而层论上「$q$ 在两个点上取同值」这件事可以在覆盖上逐点验：取覆盖 $(X_{i} \to X)$，$X\times_{Y}X$ 在每块上就是 $R$ 在每块上的值（用 $X$ 与 $R$ 的层条件 + 余等化子的泛性质），于是 $X \times_{Y} X \subseteq R$。

两边互包，$R \cong X \times_{Y} X$ —— 这正是有效性，也正是 Giraud 判据里那一条。∎