反范畴中的交换图、核与余核相关问题咨询

嘿，你的问题抓得很准，反范畴和核/余核的对应关系确实是范畴论里核心的对偶性概念，我来一步步帮你理清这些疑惑：

一、反转箭头后的交换图在反范畴里一定是交换的 #

原范畴里的交换图，本质是任意两条从同一起点到同一终点的路径，其态射复合结果相等。比如原范畴中有路径 $A \xrightarrow{f} B \xrightarrow{g} C$，复合为 g∘f，另一条直接路径 $A \xrightarrow{h} C$，满足 g∘f = h。

当你把箭头反转得到 $\mathcal{C}^\text{op}$ 里的图（即 $C \xrightarrow{f^\text{op}} B \xrightarrow{g^\text{op}} A$，这是 $\mathcal{C}^\text{op}$ 中的路径），根据反范畴的复合规则：$\mathcal{C}^\text{op}$ 中态射 $u:X→Y$ 和 $v:Y→Z$ 的复合 u∘_op v，等于原范畴中对应态射的复合 v'∘u'（其中 $u'$ 是原范畴里 $Y→X$ 的态射，$v'$ 是原范畴里 $Z→Y$ 的态射）。

所以 $\mathcal{C}^\text{op}$ 里这条路径的复合是 f^op∘_op g^op，对应原范畴里的 g∘f，而反转后的直接路径是 h^op:C→A。因为原范畴里 g∘f = h，所以 (g∘f)^op = h^op，也就是 f^op∘_op g^op = h^op——这正好满足 $\mathcal{C}^\text{op}$ 里的交换图定义。不管原范畴的图有多复杂，反转箭头后在反范畴里必然是交换的。

二、关于反变函子 $D:\mathcal{C}→\mathcal{C}^\text{op}$ 的复合规则 #

你定义的这个 $D$ 是最自然的反变函子，它的行为完全符合反变函子的要求，你的疑惑主要来自反范畴复合的特殊性，我们拆解一下：

• 反变函子的核心要求是：对原范畴中的复合 g∘f，有 D(g∘f) = D(f)∘_op D(g)（这里的 ∘_op 是 $\mathcal{C}^\text{op}$ 中的复合）。
• 验证一下：$D(g∘f) = (g∘f)^\text{op}$，这是 $\mathcal{C}^\text{op}$ 中 $C→A$ 的态射；而 $D(f)=f^{\text{op}$（$\mathcal{C}}\text{op}$ 中 $B→A$）、$D(g)=g^{\text{op}$（$\mathcal{C}}\text{op}$ 中 $C→B$），它们的复合 D(f)∘_op D(g) 对应原范畴里的 g∘f，也就是 $\mathcal{C}^\text{op}$ 中的 (g∘f)^\text{op}，和 $D(g∘f)$ 完全相等。

所以你的理解是对的，$D$ 确实是反变函子，复合的对应关系完全成立。

三、核与余核的对偶关系推导是正确的 #

你关于核和反范畴余核的推导没有问题！再帮你梳理一遍关键点：

1. 原范畴中 $(Z,i:Z→A)$ 是 $f:A→B$ 的核，满足 f∘i = 0_{ZB}；
2. 通过函子 $D$ 映射后，得到 D(f∘i) = D(0_{ZB})，也就是 D(i)∘_op D(f) = 0_{ZB}^op；
3. 零态射在反范畴里依然是零态射（因为零态射通过零对象唯一分解，反转箭头后分解方式不变），所以 0_{ZB}^op 就是 $\mathcal{C}^\text{op}$ 中从 $B$ 到 $Z$ 的零态射 0_{BZ}；
4. 这就满足了 $\mathcal{C}^\text{op}$ 中余核的第一个条件：i^op∘_op f^op = 0，再结合核的泛性质对偶到反范畴就是余核的泛性质，因此 $(Z,i^\text{op}:A→Z)$ 确实是 $f^\text{op}:B→A$ 在 $\mathcal{C}^\text{op}$ 中的余核。

反过来，原范畴的余核对应反范畴的核，这也是范畴论对偶性的经典例子。

四、关于 f^op∘_op g^op = D(g∘f) 的验证 #

你问的这个等式是成立的！我们再明确一次：

• 原范畴里有 $f:A→B$、$g:B→C$，复合为 g∘f:A→C；
• $\mathcal{C}^\text{op}$ 中对应的态射是 $f^{\text{op}:B→A$、$g}\text{op}:C→B$；
• 根据反范畴复合规则，f^op∘_op g^op 等于原范畴里的 g∘f，对应 $\mathcal{C}^\text{op}$ 中的态射就是 (g∘f)^op，而 $D(g∘f)=(g∘f)^op$，所以两者完全相等。

其实只要记住：反范畴的复合是原范畴复合的“反向”，反变函子也会把原范畴的复合顺序反转，这两者结合起来就刚好能对应上，多写几次具体例子，很快就能理顺符号的关系啦。

备注：内容来源于stack exchange，提问作者user815597