1 自然変換の基本
1.1 関手と射の関係
圏では、対象どうしを結ぶ「射」の合成が基本操作になる。関手は、ある圏から別の圏へ対象と射を対応づける写像であり、合成や恒等射を崩さない形で構造を運ぶ。したがって関手を比較するには、「対象の対応」だけでなく「射のふるまいがどのように保存されるか」を同時に扱う必要がある。自然変換はこの比較を、2つの関手の間に“射を組み立てて”整合させることで行う。
1.2 自然変換の定義
自然変換とは、2つの関手 \(F, G: \mathcal{C}\to\mathcal{D}\) のあいだに、各対象に対して像を結ぶ射を割り当て、その割当が対象間の射の取り扱いと矛盾しないように定める仕組みである。要点は、各対象で用意した射が、圏 \(\mathcal{C}\) の射によって引き起こされる対応と両立する点にある。
1.2.1 自然変換の成分（対象ごとの射）
自然変換 \(\eta: F \Rightarrow G\) を定義するには、\(\mathcal{C}\) の各対象 \(X\) に対し、\(\mathcal{D}\) 内の射 \[ \eta_X: F(X)\to G(X) \] を与える。これら \(\eta_X\) は自然変換の成分と呼ばれ、対象 \(X\) の選び方ごとに異なる射が用意される。しかし、それらが互いに無関係に選ばれるわけではなく、次の整合条件によって制約される。
1.2.2 可換図式による整合条件
\(\mathcal{C}\) の任意の射 \(f: X\to Y\) に対して、成分 \(\eta\) は次の可換図式を満たす必要がある： \[ G(f)\circ \eta_X=\eta_Y\circ F(f). \] この式は、2つの方法で \(F(X)\) から \(G(Y)\) への写像を作った結果が一致することを意味する。一方はまず \(F(f)\) で進み、次に \(\eta_Y\) を適用する経路、他方は先に \(\eta_X\) で変換し、その後 \(G(f)\) を適用する経路である。可換性によって、「対象ごとの成分が、射の移動と整合する形で統一されている」ことが保証される。
1.3 自然変換の直観的理解
自然変換を、単に対象の集合上での写像の集まりとして理解すると重要な意味が落ちる。自然性（自然に整合する性質）は、対象が変わるときだけでなく、対象間を結ぶ射が動くときにも変換が首尾一貫していることを要求する点にある。したがって自然変換は「各点での局所的な対応」から「全体が保つ整合」という性質へと意味が移る。
2 自然変換の性質
2.1 合成と恒等
自然変換の操作として、恒等自然変換、そして合成が基本になる。合成はどの意味で行うかにより縦合成と横合成に分かれ、いずれも圏的な整合を保つ。
2.1.1 自然変換の縦合成（鎖の整合）
関手 \(F,G,H:\mathcal{C}\to\mathcal{D}\) と自然変換 \(\eta: F\Rightarrow G\)、\(\theta: G\Rightarrow H\) が与えられているとする。このとき縦合成（合成的な連鎖）は \(\theta\circ \eta: F\Rightarrow H\) として定まり、成分は各対象 \(X\) に対して \[ (\theta\circ \eta)_X=\theta_X\circ \eta_X \] と定義される。これにより、可換図式の整合性が保存され、結果として自然性が保たれる。
2.1.2 自然変換の横合成（関手の作用を介して）
横合成は、関手を挟む形で自然変換を合成する操作である。より具体的には、\(\eta: F\Rightarrow G\) が \(\mathcal{C}\to\mathcal{D}\) 上にあるとき、別の関手 \(K:\mathcal{B}\to\mathcal{C}\) や \(L:\mathcal{D}\to\mathcal{E}\) を用いて、変換を前後から持ち上げることで自然変換を作れる。成分は挟まれた関手の作用で写され、可換性は関手が恒等射と合成を保存することから導かれる。
2.2 自然同型と同値性
自然変換には、可逆性を持つ場合がある。可逆な自然変換は「自然同型」と呼ばれ、関手の比較が強い意味で一致していることを示す。
2.2.1 自然同型の定義と条件
自然変換 \(\eta: F\Rightarrow G\) が自然同型であるとは、各対象 \(X\) について成分 \(\eta_X: F(X)\to G(X)\) が同型であり、逆射からなる変換 \(\eta^{-1}: G\Rightarrow F\) も自然変換になることを指す。成分が同型であっても、逆成分が自然性を満たすかは要点であり、実際に自然性の条件が逆向きにも成立することを確認する。
2.2.2 自然同型がもたらす特徴
自然同型が存在すれば、関手 \(F\) と \(G\) は対象ごとに見たときだけでなく、射に関しても同じ構造を保つ形で同等になる。特に、付随する多くの構成（普遍性や随伴に由来する同型など）が自然同型により一括して移されるため、「計算結果がどの選び方に依らない」状況が保証されやすい。結果として、証明の枠組みが安定し、表現間の同値が体系的に扱える。
3 自然変換の代表例
3.1 恒等関手に関する自然変換
任意の圏 \(\mathcal{C}\) に対し恒等関手 \(\mathrm{Id}_{\mathcal{C}}\) がある。恒等関手と任意の関手 \(F:\mathcal{C}\to\mathcal{D}\) を結ぶ自然変換として、各対象 \(X\) において \(\mathrm{Id}\) による対応がそのまま射になる例が現れる。ここでは自然性は、恒等射が各合成に対して変化を生まないという基本性質から直ちに従う。
また、任意の自然変換 \(\eta\) に対し、恒等自然変換を用いて縦合成や横合成が単位元として振る舞うことも重要である。これにより自然変換の計算は、より大きな構造の一部として整合的に組み立てられる。
3.2 自由構成・忘却関手の文脈
自由構成は、与えられた「生成データ」から最小の構造を作る代表例であり、その性質はしばしば忘却関手との組で述べられる。忘却関手は、圏の構造（例：位相、演算、順序など）を指定していた情報を「記憶せずに」下位の圏へ送る写像である。
この文脈では、自由構成が生成データを引数にして圏内の対象へ移すだけでなく、射に対する振る舞いが普遍性によって強く拘束される。その結果、随伴関係に伴うユニットや余ユニットとして自然変換が現れ、対象ごとの生成射が可換図式を通じて統一される。
3.3 隣接（随伴）に現れる自然変換
随伴（隣接）は、関手の間に「自由と忘却」などの対応を与える理論であり、その中心に自然変換が位置づく。随伴があると、ユニットと余ユニットと呼ばれる自然変換が導かれ、これらが随伴の普遍性を可換図式として表現する。
3.3.1 単位と余単位
随伴 \(F \dashv G\)（\(F:\mathcal{C}\to\mathcal{D}\)、\(G:\mathcal{D}\to\mathcal{C}\)）を仮定すると、自然変換 \[ \eta: \mathrm{Id}_{\mathcal{C}}\Rightarrow G F,\quad \varepsilon: F G\Rightarrow \mathrm{Id}_{\mathcal{D}} \] が存在する。ここで \(\eta\) は単位、\(\varepsilon\) は余単位である。成分 \(\eta_X\) は \(X\) から \(G(F(X))\) へ向かう射として理解でき、\(\varepsilon_Y\) は \(F(G(Y))\) から \(Y\) へ向かう射として与えられる。
3.3.2 隣接のトライアングルの整合
単位と余単位は、随伴が満たすべき「三角恒等式」を通じて結びつけられる。典型的には、合成したときに一方の関手が恒等に戻るような可換図式が成立する。この条件により、自由側と忘却側の往復が、普遍性の意味で矛盾なく表現される。結果として、単位・余単位から随伴の性質が復元でき、両者が互いに整合することが保証される。
4 自然変換の応用
4.1 圏の同値の記述
圏の同値は、対象や射の構造が本質的に同じであることを意味する概念である。自然変換は、同値の成立を「関手の候補」と「その間に成り立つ自然同型」によって記述する。たとえばある関手 \(F:\mathcal{C}\to\mathcal{D}\) に対して、逆方向の候補 \(G\) を選び、両者の合成がそれぞれ恒等関手に自然同型で一致すると示すことで、同値を確立できる。
この考え方の利点は、単に“あるレベルで一致している”のではなく、射の構造まで含めて整合が成立していることを一括して保証できる点にある。
4.2 普遍性（普遍射・余普遍射）との関係
普遍射や余普遍射は、対象に対して最小・最大性の形で射を定める概念であり、しばしば自然性と深く結びつく。普遍性が成立すると、ある写像の選択が「一意な」性質を持つため、その一意性が対象の変更に対しても整合して働く。したがって、普遍性によって生じる構成は自然変換として組織化されやすい。
この文脈では、「普遍性が与える同型が自然である」ことが主張の核になり、可換図式で示される整合性が自動的に扱えるようになる。
4.3 ユニタリティやモノイド構造への展開
自然変換は圏の内部での構造運搬に強く適しており、モノイド的な演算や付随する可換性の管理に利用される。たとえば、対象上の二項演算がある場合に、それが関手や自然変換の枠組みでどう組み合わさるかを考えると、モノイド法則に対応する可換図式群が現れる。
ユニタリティといった条件は、単位元に関する挙動を厳密に制御する役割を果たすことが多く、その実装では自然変換が「単位元を跨いだときの整合」を可換性として表す。結果として、代数的な整合条件が圏論的な図式へと翻訳され、検証や比較が容易になる。
4.4 構成の体系化と可換性の活用
自然変換の最終的な価値は、複数の構成を“どの経路を通っても同じ結果になる”形にまとめられる点にある。可換図式は単なる説明の道具ではなく、計算や推論の制約条件として働き、局所的な定義が大域的な整合へと拡張される。
さらに、自然性は「構成が選択に依存しない」ことを示唆しやすい。したがって定理の見通しがよくなり、別々の導出が同じ自然変換として一致することも確認できる。こうして圏の理論は、証明の再利用性と体系性を高める方向へ進む。