（数学·范畴论）自然变换：在两个函子 (F, G: \mathcal{C}\to\mathcal{D}) 之间的一种“系统性的映射”。它为范畴 (\mathcal{C}) 中每个对象 (X) 指定一个态射 (\eta_X: F(X)\to G(X))，并且对每个态射 (f: X\to Y) 满足自然性条件（相应交换图可交换）：
[
G(f)\circ \eta_X = \eta_Y \circ F(f).
]
常见的更强情形是自然同构（每个 (\eta_X) 都是同构）。
/ˈnætʃ(ə)rəl ˌtrænsfərˈmeɪʃən/
A natural transformation connects two functors in a consistent way.
自然变换以一致的方式连接两个函子。
In category theory, proving two constructions are equivalent often means exhibiting a natural transformation (or a natural isomorphism) between the corresponding functors.
在范畴论中，证明两个构造等价往往意味着在相应的函子之间给出一个自然变换（或自然同构）。
natural 源自拉丁语 naturalis（“自然的、本性的”），强调“与结构相容、无需任意选择”的意味；transformation 源自拉丁语 transformare（“改变形状、转化”）。术语 natural transformation 在 20 世纪 40 年代由 Eilenberg 与 Mac Lane 在建立范畴论体系时推广，用来刻画“在所有对象上都协调一致”的函子间映射。
Select Language