如何证明集合范畴上的自然变换与函子强度交换？

嘿，这个问题的核心其实就是抓牢自然变换的自然性和集合函子强度的标准定义，咱们一步步捋清楚：

先明确关键定义 #

首先得把用到的两个核心概念的集合范畴版本说透：

• 集合函子的标准强度：对任意集合$A,B$，集合自函子$F$的强度$s_F: F(A) \times B \to F(A \times B)$定义为：对任意$x \in F(A)$，$b \in B$，$s_F(x,b) = F(\iota_b)(x)$。这里的$\iota_b: A \to A \times B$是固定第二个分量的嵌入态射——简单说就是把每个$a \in A$映射到$(a,b)$的函数。
• 自然变换的自然性：对于自然变换$\tau: F \to G$，它的核心性质是：对集合范畴里的任意态射$f: X \to Y$，都满足交换图$G(f) \circ \tau_X = \tau_Y \circ F(f)$。换句话说，先应用$F$再用$\tau$，和先用$\tau$再应用$G$，结果是完全一致的。

逐元素验证交换性 #

我们要证的是：$\tau_{A \times B} \circ s_F = s_G \circ (\tau_A \times \text{id}_B)$，两边都是从$F(A) \times B$到$G(A \times B)$的函数。在集合范畴里，两个函数相等当且仅当它们对每个元素的作用都相同，所以咱们取任意$x \in F(A)$，$b \in B$分别计算两边的结果：

计算左边：$\tau_{A \times B}(s_F(x,b))$ #

根据$s_F$的定义，$s_F(x,b) = F(\iota_b)(x)$，代入后左边变成：
$$\tau_{A \times B}(F(\iota_b)(x))$$
这时候直接套用自然变换的自然性——针对态射$\iota_b: A \to A \times B$，自然性给出$G(\iota_b) \circ \tau_A = \tau_{A \times B} \circ F(\iota_b)$，所以左边可以改写为：
$$G(\iota_b)(\tau_A(x))$$

计算右边：$s_G(\tau_A(x), b)$ #

根据$s_G$的定义，$s_G$作用在$(\tau_A(x), b)$上就是$G(\iota_b)(\tau_A(x))$，和左边的结果完全一致！

总结一下 #

其实这个结论的本质是：集合函子的强度是通过“固定分量的嵌入态射”诱导出来的，而自然变换的自然性刚好保证了它能和这种诱导操作 commute——简单说就是自然变换不会破坏函子自带的“把集合乘积的分量固定”的结构。

内容的提问来源于stack exchange，提问作者M. Learner