8.4.3 〈単位系の取り直し〉に対する
“自然変換”の解釈
単位系Ｕ＝{ｕ
i
｜i∈Ｉ},Ｖ＝{ｖ
i
｜i∈Ｉ} に応ずる関手Ｆ
U
とＦ
V
に対し，Ｆ
U
からＦ
V
への自然変換(natural transformation)φ
UV
がつぎのように定義される。
即ち，各Ｑ
i
∈
C
Q
に対し
C
N
の射（Ｎの上の倍関数）
φ
UV
(Ｑ
i
) : Ｆ
U
(Ｑ
i
)─→Ｆ
V
(Ｑ
i
)
を，図式：
を可換にするところのものと定める。
自然変換φ
UV
:Ｆ
U
─→Ｆ
V
は，単位系の取り直しの措置の表現になっている。
