第3章自然変換と圏の同値

「自然な」対応とは何か

数学ではよく「この対応は自然だ」と言います。たとえば「有限次元ベクトル空間 $V$ とその二重双対 $V^{**}$ は自然に同型」。一方「 $V$ とその双対 $V^*$ の同型は、基底を選ばないと作れない（自然でない）」。この“自然さ”は気分の問題ではなく、厳密に定義できる。それが自然変換です。

圏論の三段ロケットが、ここで完成します——対象（第1章）、関手（対象の間ならぬ圏の間の射、第2章）、そして自然変換（関手の間の射、本章）。関手をも「対象」とみなし、その間の矢印を考える。抽象化がもう一段積み上がります。

自然変換＝関手 $F$ から関手 $G$ への「射の族」で、あらゆる射と“両立”するもの。数学の「自然な対応」を厳密化する。

自然変換の定義

二つの関手 $F,G:\mathcal C\to\mathcal D$ があるとします。自然変換は、各対象 $A$ に $\mathcal D$ の射 $\eta_A:F(A)\to G(A)$ を割り当て、それが $\mathcal C$ のどの射とも整合するという条件です。

定義自然変換

関手 $F,G:\mathcal C\to\mathcal D$ の間の自然変換 $\eta:F\Rightarrow G$ とは、各対象 $A$ に射 $\eta_A:F(A)\to G(A)$ （成分）を与え、 $\mathcal C$ の任意の射 $f:A\to B$ に対し次の四角形（自然性の四角形）が可換になること：

\begin{CD} F(A) @>{\eta_A}>> G(A)\\ @V{F(f)}VV @VV{G(f)}V\\ F(B) @>{\eta_B}>> G(B) \end{CD}

すなわち $G(f)\circ\eta_A=\eta_B\circ F(f)$ 。すべての成分 $\eta_A$ が同型射なら自然同型 $F\cong G$ という。

条件の心は「どの対象で乗り換えても、どの射を通っても、答えが一致する」。 $F(A)$ から $G(B)$ へ行くのに、「先に $\eta$ で $G$ 側へ移ってから $G(f)$ 」でも「先に $F(f)$ で動いてから $\eta$ 」でも同じ。対応 $\eta$ が特定の対象に依存した恣意的なものでなく、射の構造と一様に噛み合う——それが「自然」の正確な意味です。

例自然・不自然の典型例

二重双対 $V\cong V^{**}$ （自然）： $\eta_V:V\to V^{**}$ 、 $v\mapsto(\varphi\mapsto\varphi(v))$ 。基底を使わず定義でき、任意の線形写像と自然性の四角形が可換。恒等関手と二重双対関手の自然同型（有限次元で）。
双対 $V\cong V^*$ （不自然）：次元が同じなので同型は“ある”が、基底の選択に依存し、自然変換にならない。「同型はあるが自然でない」を厳密に区別できるのが自然変換の御利益。
行列式 $\det:\mathrm{GL}_n\Rightarrow(-)^\times$ 、アーベル化 $G\mapsto G^{\mathrm{ab}}$ の商写像なども自然変換。

関手圏

自然変換は縦にも横にも合成でき、それ自体が圏をなします。「関手を対象、自然変換を射とする圏」です。

定義関手圏

圏 $\mathcal C,\mathcal D$ に対し、 $\mathcal C$ から $\mathcal D$ への関手を対象、自然変換を射とする圏を関手圏 $[\mathcal C,\mathcal D]$ （または $\mathcal D^{\mathcal C}$ ）という。射の合成は自然変換の成分ごとの合成。

関手が“対象”になる——この視点が、次章以降（とくに米田の補題、第7章）で決定的に効きます。「関手たちのなす空間」の中で対象を考える、というメタな階層が開けるのです。

圏の同値——圏レベルの「同じ」

第1章で対象の「同じ」（同型）を定めました。では圏どうしの「同じ」は何か。素朴には「 $F\circ G$ と $G\circ F$ がどちらも恒等関手」（圏同型）ですが、これは厳しすぎる。実用的な「同じ」は、恒等に自然同型であれば十分、とします。

定義圏の同値

関手 $F:\mathcal C\to\mathcal D$ が圏同値であるとは、関手 $G:\mathcal D\to\mathcal C$ が存在して

G\circ F\cong\mathrm{id}_{\mathcal C},\qquad F\circ G\cong\mathrm{id}_{\mathcal D}

（自然同型）となること。このとき $\mathcal C\simeq\mathcal D$ という。

「往復すると、恒等そのものではないが、恒等と自然に同型」。中身は違っても、圏としての構造（対象と射のネットワーク）が本質的に同じ、という意味です。これは次の判定条件で見分けられます。

定理圏同値の判定

関手 $F:\mathcal C\to\mathcal D$ が圏同値 $\iff$ $F$ が

忠実充満（各 $\mathrm{Hom}(A,B)\to\mathrm{Hom}(FA,FB)$ が全単射）かつ
本質的全射（ $\mathcal D$ の各対象が、ある $F(A)$ と同型）。

例圏同値の例

有限次元ベクトル空間の圏は、行列の圏（対象＝自然数 $n$ 、射＝ $m\times n$ 行列）と同値。基底を選べば線形写像は行列——「抽象的な空間」と「座標での行列」が圏として同じ。線形代数の二つの顔が圏同値で結ばれる。
有限集合の圏と、その骨格（各濃度の代表を一つずつ選んだ部分圏）は同値。

つまずきポイント

注意よくある誤解

自然変換は「射の族＋可換条件」。 各成分 $\eta_A$ を与えるだけでなく、すべての射で四角形が可換が命。可換条件を落とすと単なる射の寄せ集め。
「同型がある」と「自然同型」は別。 $V\cong V^*$ は同型があるが自然でない。 $V\cong V^{**}$ は自然。この差を捉えるのが自然変換の存在意義。
圏同値 ≠ 圏同型。 往復が恒等“そのもの”でなく、恒等と自然同型でよい。だから中身の違う圏が同値になれる（ベクトル空間と行列）。
同値の判定は忠実充満＋本質的全射。 三点セットで確認する。一つでも欠けると同値でない。

この章のまとめ

自然変換 $\eta:F\Rightarrow G$ ＝各対象での射の族 $\eta_A$ で、任意の射に対し自然性の四角形が可換。数学の「自然な対応」を厳密化（ $V\cong V^{**}$ は自然、 $V\cong V^*$ は不自然）。
関手を対象・自然変換を射とする関手圏 $[\mathcal C,\mathcal D]$ 。関手が“対象”になる視点が米田（第7章）へ。
圏同値 $\mathcal C\simeq\mathcal D$ ＝往復が恒等と自然同型。判定は忠実充満＋本質的全射。ベクトル空間の圏と行列の圏が同値。
基本概念（対象・関手・自然変換）が揃った。次章から普遍性へ。まず始対象・終対象を通して「普遍写像性質」という考え方を導入します。

次章では、始対象・終対象を例に、「ある性質をみたす唯一の対象」を射だけで特徴づける普遍性の考え方を学びます。

第3章 自然変換と圏の同値