关于Tom Leinster《Basic范畴论》中自然性直观含义的技术问询

Great question—this is one of those moments where category theory’s formal definitions click into place once you see how they encode our informal intuitions. Let’s break this down step by step.

First, recap the two pieces we’re connecting #

• 交换方块定义（自然变换）: 给定函子 (F, G: \mathcal{C} \to \mathcal{D})，自然变换 (\eta: F \to G) 意味着对范畴 (\mathcal{C}) 中的每一个态射 (f: X \to Y)，以下交换图都成立：

  F(X) ───η_X───→ G(X)
  │                │
  │ F(f)           │ G(f)
  ▼                ▼
  F(Y) ───η_Y───→ G(Y)
  

  直白点说：先对 (f) 应用函子 (F) 再用 (\eta_Y)，和先用 (\eta_X) 再对 (f) 应用函子 (G)，结果完全一样。

• Leinster提到的“无需任意选择”直观: 一个“自然”的定义，不需要你为每个单独的对象挑选一套临时规则。它在所有对象上的运作方式是统一的，并且和对象之间的态射映射逻辑保持同步。

交换方块如何实现“无需任意选择” #

我们用一个具体例子来具象化这个关联：假设 (F) 是幂集函子（把集合 (X) 映射到它的幂集 (\mathcal{P}(X))，把函数 (f: X \to Y) 映射到原像映射 (f^{-1}: \mathcal{P}(Y) \to \mathcal{P}(X))），而 (G) 是把集合 (X) 映射到特征函数集合 (X \to {0,1}) 的函子（把函数 (f: X \to Y) 映射到复合映射 (g \mapsto g \circ f)）。

如果你做任意选择来构造从 (F) 到 (G) 的变换，可能会出现这种情况：

• 对集合 (X = {1})，把子集 ({1}) 映射到“在1处返回1”的特征函数。
• 对集合 (X = {1,2})，把子集 ({1}) 映射到“在2处返回1”的特征函数（和前一个选择完全无关）。

现在看包含态射 (f: {1} \to {1,2})，检查交换方块：

• (F(f)({1}) = f^{-1}({1}) = {1})，所以 (\eta_Y(F(f)({1}))) 是我们为 (X={1,2}) 选的那个奇怪函数（在2处返回1）。
• (G(f)(\eta_X({1}))) 是 (\eta_X({1}) \circ f)，也就是“在 (f(1)=1) 处返回1”的函数。

这两个结果完全不同——说明我们的任意选择打破了交换方块的要求。

但如果我们做非任意的、自然的选择：对任意集合 (X)，把子集 (S \subseteq X) 映射到标准特征函数 (\chi_S(x) = 1)（若 (x \in S)），否则为0。此时交换方块必然成立：

• (\eta_Y(F(f)(S)) = \chi_{f^{-1}(S)})，它对 (y \in Y) 返回1当且仅当 (f^{-1}(y) \in S)。
• (G(f)(\eta_X(S)) = \chi_S \circ f)，它对 (y \in Y) 返回1当且仅当 (f(y) \in S)——两者完全一致！

交换方块强制你为每个对象 (X) 选择的 (\eta_X) 必须和对象间的态射“友好协作”。你不能只为每个 (X) 随机选一个 (\eta_X)；所有的 (\eta_X) 必须通过函子对态射的作用逻辑联系起来。这正是“无需任意选择”的含义：你的变换在整个范畴中是一致的，不需要为每个对象单独做临时调整。

总结 #

交换方块不是一个无意义的抽象图——它是用形式化语言捕捉“自然变换无需任意选择”这个直观的工具。它确保变换的行为是统一的，和函子在态射上的作用保持同步。Leinster说的“无需任意选择”，就是交换方块所强制执行的数学规则的非正式描述。

内容的提问来源于stack exchange，提问作者Y.X.