【第6節】関手（Functor）

【第6節】関手（Functor）

—— 圏と圏の間の翻訳

ここまで、一つの圏の中での「対象」と「射」の話をしてきた。しかし、数学の豊かさは、異なる分野（異なる圏）の間に意外な**「類似性」や「つながり」**を見出すことにある。

• ドーナツの形状（幾何学）から、穴の数を数える（代数学）こと。
• 方程式の解の対称性（代数学）を、図形の回転（幾何学）として捉えること。

このような、異なる圏 $\mathcal{C}$ と $\mathcal{D}$ の間に架かる橋を、圏論では**「関手（Functor）」**と呼ぶ。関手は、対象を対象へ、射を射へ翻訳する、いわば「圏の間の準同型写像」である。

関手の定義：構造を保つ翻訳

関手 $F:\mathcal{C}\to \mathcal{D}$ とは、以下の二つの割り当てルールから成る。

1. 対象の翻訳: $\mathcal{C}$ の各対象 $A$ に対し、$\mathcal{D}$ の対象 $F(A)$ を対応させる。
2. 射の翻訳: $\mathcal{C}$ の各射 $f:A\to B$ に対し、$\mathcal{D}$ の射 $F(f):F(A)\to F(B)$ を対応させる。

そして、この翻訳は圏の構造（合成と恒等射）を厳密に保たなければならない。

• 合成の保存: $F(g\circ f)=F(g)\circ F(f)$
  • 「向こうの世界で合成してから翻訳しても、翻訳してからこちらの世界で合成しても、結果は同じ」
• 恒等射の保存: $F(i{d}_A)=i{d}_{F(A)}$
  • 「何もしない操作は、何もしない操作へ翻訳される」

関手の具体例：忘却と自由

関手の概念を使えば、「商」や「生成」といった数学的な操作を、非常に洗練された形で記述できる。

1. 忘却関手（Forgetful Functor） $U:\mathbf{Grp}\to \mathbf{Set}$ 群の圏から集合の圏への関手。 群 $(G,\cdot )$ に対して、その演算構造を綺麗さっぱり「忘れて」、単なる要素の集合 $G$ だけを対応させる。 これは情報を捨てる操作であり、ある種の「商」的な側面を持つが、圏論的には「構造の剥奪」として捉えられる。

2. 自由関手（Free Functor） $F:\mathbf{Set}\to \mathbf{Grp}$ 集合の圏から群の圏への関手。 集合 $S$ に対して、その要素を文字とみなして自由に生成された「自由群（Free Group）」$F(S)$ を対応させる。 これは忘却関手の逆方向（随伴）の操作であり、「最も制約のない構造を付加する」操作である。

3. ホモロジー関手（Homology Functor） $H_n:\mathbf{Top}\to \mathbf{Ab}$ 位相空間の圏からアーベル群の圏への関手。 図形 $X$ に対して、その「$n$ 次元の穴の数」を表す群 $H_n(X)$ を対応させる。 連続写像 $f:X\to Y$ があれば、群準同型 $H_n(f):H_n(X)\to H_n(Y)$ が自動的に誘導される。 これにより、難しい幾何学の問題（不動点定理など）を、計算可能な代数の問題（線形代数）へと「翻訳」して解くことができる。これこそが関手の威力である。

関手性というフィルター

「ある操作が関手である」という事実は、その操作が単なる計算手順ではなく、数学的な「構造」を正しく反映していることの証明となる。 逆に、自然な写像が誘導されないような操作は「関手的でない（Not functorial）」として、数学的な筋が悪いとみなされることがある。 関手は、我々が扱う数学的操作が「良い性質」を持っているかどうかを判定するリトマス試験紙でもあるのだ。

---

【第7節】圏論的思考の革命

—— 要素還元主義との決別

本章の締めくくりとして、これまでの議論がもたらす世界観の転換——**「米田の哲学」**とも呼ぶべき思考の革命——について触れておこう。

「もの」から「こと」へ

従来の数学（集合論的パラダイム）では、対象 $A$ を理解するためには、その内部に入り込み、要素 $x\in A$ を一つ一つ調べる必要があった。これは解剖学的なアプローチである。

しかし、圏論（関係論的パラダイム）は違う。 対象 $A$ の中身は見ない。その代わり、$A$ に入ってくる射、出ていく射、すなわち**「他者との関係性の総体」**として $A$ を理解する。 これは社会学的なアプローチに近い。「ある人物を知りたければ、その人の友人関係や社会的役割（ネットワーク）を見よ」ということだ。

米田の補題（Yoneda Lemma）への示唆

この哲学を数学的に極限まで突き詰めたのが、圏論における至宝**「米田の補題（Yoneda Lemma）」**である（詳細は専門的になるため割愛するが、その精神だけを記す）。

米田の補題は、おおよそ次のようなことを主張する。 「対象 $A$ の情報は、他の全ての対象 $X$ から $A$ への射の集まり $Hom(X,A)$ によって、完全に、余すところなく記述される」 つまり、外部からの観測データ（プローブ $X$ による観測 $X\to A$）をすべて集めれば、対象 $A$ の内部構造は完全に復元できるのである。

これにより、数学的対象は「実体」から「現象（振る舞い）」へとその姿を変える。

• 同型 $A\cong B$ とは、観測データが全て一致することである。
• 商をとるとは、観測データの一部（特定の違い）を無視するフィルタをかけることである。

次章への展望：商の正体

この「関係性の言語」を手に入れた今、我々はついに、本著の核心である「商」の正体に迫る準備が整った。

集合論では、商集合を「要素を袋詰めしたもの」として定義した。これは内部構造をいじる操作だった。 しかし、圏論では中身を触れない。ではどうやって商を定義するのか？ 答えは**「普遍性（Universal Property）」である。 「ある関係を無視せよ」という命令に対し、「最も効率よく、かつ情報を失わずにその命令を実行する射」として商を定義する。これを「余等化子（Coequalizer）」**と呼ぶ。

次章「第3章：圏論的『商』の正体」では、この余等化子の概念を用いて、集合の商、群の商、空間の商といったバラバラに見える概念を、たった一つの定義で鮮やかに統一する様を目撃することになる。 そこには、数学における「抽象化」という営みの、最も純粋な結晶が輝いている。

（第2章・完）

---

1. 第一部：圏の定義と「矢印」中心の世界観への移行。
2. 第二部：モノ射・エピ射による行動主義的定義と同型の本質。
3. 第三部：関手による異分野間の翻訳と、関係論的転回（米田の哲学）。

ここまでで、「要素を忘れて矢印を見る」という圏論特有の思考モードが整う。次章では、この視点を商概念（余等化子、プッシュアウト）へ接続する。