第2章：圏論の基礎言語 —— 構造との関係性

【導入】内部から外部へ

—— 「中身」を見ない数学の誕生

将棋の駒「王将」とは何か？ もし化学者に問えば、「それはツゲの木を五角形に削り、漆で文字を書いた物体である」と答えるだろう。これは物質的な構成要素（内部構造）に基づく定義である。 しかし、将棋の棋士に問えば、答えは全く異なる。「それは周囲1マスに動くことができ、取られたら負けとなる駒である」と。

棋士にとって、王将が木でできているか、プラスチックでできているか、あるいはデジタル画面上のピクセルであるかは、本質的な問題ではない。重要なのは、盤上の他の駒たちとどのような関係（ルール）を持ち、どう振る舞うかという機能的な役割だけである。 王将を王将たらしめているのは、その材質（内部）ではなく、ゲームシステムの中での関係性（外部）なのだ。

数学においても、これと全く同じ革命が起きた。それが**「圏論（Category Theory）」**の誕生である。

要素還元主義の限界

前章まで扱ってきた集合論は、いわば「化学者の視点」であった。 集合 $A$ とは何か？ それは要素 $x$ の集まりである。写像 $f$ とは何か？ 要素 $x$ を要素 $y$ に対応させる規則である。常に視線は「内部の粒（要素）」に向けられていた。これを要素還元主義と呼ぶ。

しかし、現代数学が高度化するにつれ、この視点だけでは捉えきれない現象が増えてきた。 例えば、トポロジー（位相幾何学）において、ドーナツとマグカップは「同じ」とされる。しかし、これらを構成する原子（要素）の一つ一つに対応をつけていく作業は、本質を見失わせるだけであまりに煩雑だ。我々が見たいのは、微細な点の対応ではなく、「穴の数」という大局的な構造の保存である。

「矢印」への主役交代

1945年、サミュエル・アイレンベルグとサンダース・マックレーンは、代数的位相幾何学の研究の中で、ある新しい言語を創出した。彼らは気づいたのだ。数学的対象の本質は、その内側にあるのではなく、対象と対象の間を行き交う**「矢印（写像、射）」のネットワーク**の中にこそ宿っていると。

圏論において、対象（Object）は単なる黒点（ドット）として扱われる。その中身を覗くことは許されない（そもそも中身などないかもしれない）。 その代わり、対象同士を結ぶ矢印（Morphism）の合成規則や、その振る舞いだけに注目する。 「王将」の中身を見ず、「王将の動き」だけを見る。これが圏論的な思考法、**「構造主義的思考」**である。

本章では、この新しい眼鏡をかけて、数学の世界を眺め直してみよう。すると、これまで「中身が違うから別物だ」と思われていた多くの概念が、実は「矢印のパターン」としては全く同じ形（類似）をしていることが見えてくる。そして、「商」という概念もまた、要素を袋詰めする操作ではなく、ある特殊な矢印の役割として再定義されることになる。

---

【第1節】圏の定義

—— 対象と射のダンス

それでは、圏論の舞台装置を厳密に定義しよう。圏論の世界は、非常にシンプルな4つの要素から成り立っている。

圏（Category）の構成要素

圏 $\mathcal{C}$ （カリグラフィー体で書くのが通例）は、以下のデータから成る。

1. 対象（Objects）の集まり： $Ob(\mathcal{C})$
   • $A,B,C,\dots$ と表記する。これらは舞台上の「役者」たちである。集合論のように中身（要素）を持つ必要はない。ただそこに「ある」ものとして扱う。
2. 射（Morphisms）の集まり： $Ho{m}_{\mathcal{C}}(A,B)$
   • $f,g,h,\dots$ と表記する。対象 $A$ から対象 $B$ へ向かう矢印の集まりである。$f:A\to B$ と書く。
   • $A$ をドメイン（域）、$B$ を**コドメイン（余域）**と呼ぶ。
   • 役者と役者の間の「関係性」や「作用」を表す。
3. 合成（Composition）の規則： $\circ$
   • $A\stackrel{f}{\to }B$ と $B\stackrel{g}{\to }C$ という連続する二つの射があるとき、それらを繋げた新しい射 $A\stackrel{g\circ f}{\to }C$ が必ず一つ定まる。
   • 「旅の続き」は必ず定義されていなければならない。
4. 恒等射（Identity）の存在： $i{d}_A$
   • すべての対象 $A$ には、自分自身へ戻る特別な射 $i{d}_A:A\to A$ が装備されている。
   • これは「何もしない」という作用を表す。

守るべき2つの掟（公理）

上記のデータがあれば何でも「圏」になれるわけではない。以下の2つのルールを厳守する必要がある。

1. 結合律（Associativity）： $(h\circ g)\circ f=h\circ (g\circ f)$

   • 3つの射を合成するとき、計算の順序（括弧の付け方）は結果に影響しない。
   • これは極めて重要である。これにより、「道のり（どう計算したか）」を無視して、「結果（どこに着いたか）」だけを議論することが許される。図式で描いたとき、パスの形状が変わっても始点と終点が同じなら同一視できる根拠となる。

2. 単位律（Unit Law）： $f\circ i{d}_A=f,i{d}_B\circ f=f$

   • 恒等射 $id$ は、合成において透明な存在である。数字の「1」のようなものだ（$5\times 1=5$）。
   • 「何もしないで、その後 $f$ をする」ことは「単に $f$ をする」ことと同じである。

このたったこれだけの定義から、現代数学の深淵な定理たちが導き出されるとは、一見して信じがたいかもしれない。しかし、このシンプリシティこそが、圏論があらゆる分野に適用可能（Universal）である理由なのだ。

「射」の多様性

ここで注意すべきは、「射」とは必ずしも集合論的な「写像（関数）」である必要はないということだ。 圏論における射は、もっと抽象的な概念である。

• 論理学の圏では、射は「ならば（含意 $⟹$）」を表す。
• 順序の圏では、射は「以下（$\le$）」を表す。
• プログラミングの圏では、射は「プロセス」や「計算」を表す。
• 行列の圏では、射は「行列」そのものである。

始点と終点があり、繋げることができ、何もしない操作がある。これさえ満たせば、森羅万象すべてが「射」になりうる。

---

【第2節】様々な圏の例

—— 数学の動物園

定義だけでは味気ないので、具体的な圏の例をいくつか見てみよう。これらは本書の後半で、商概念の具体例として頻繁に登場するキャストたちである。

1. 集合の圏 Set

• 対象: 全ての（小さな）集合。
• 射: 集合間の全ての写像。
• 特徴: 圏論の最も基本的なモデル。前章で学んだ「要素」や「写像」の直感がそのまま通用する。ここで成立する概念を、他の圏へ一般化するのが定石である。

2. 群の圏 Grp

• 対象: 全ての群。
• 射: 群準同型写像（演算構造を保つ写像）。
• 特徴: 単なる写像ではなく、「構造を保つ」ものだけが射として認められる。ここでは、全単射であっても射とは限らない（構造を壊す写像は門前払いされる）。

3. 位相空間の圏 Top

• 対象: 全ての位相空間（図形）。
• 射: 連続写像（つながりを保つ写像）。
• 特徴: ゴムのように変形する幾何学の世界。「商をとる」操作が、図形の貼り合わせ（商空間）として視覚的に理解しやすい圏。

4. ベクトル空間の圏 Vect${}_k$

• 対象: 体 $k$ 上のベクトル空間。
• 射: 線形写像（行列で書ける写像）。
• 特徴: 線形代数の世界。ここでは「核（Kernel）」や「像（Image）」といった概念が非常に綺麗に振る舞う。

5. 変わり種の圏：順序集合 $(P,\le )$

実は、一つの順序集合 $P$ も、それ自体を小さな「圏」とみなすことができる。

• 対象: $P$ の要素たち。
• 射: $a\le b$ であるとき、そしてその時に限り、$a$ から $b$ へただ一本の矢印が存在すると考える。
• 合成: $a\le b$ かつ $b\le c$ ならば $a\le c$（推移律）。これが合成に対応する。
• 特徴: この視点は重要である。「$\le$」という静的な関係を、「矢印」という動的な対象として捉え直すことで、順序理論と圏論が融合する。ここでは「最大値」や「最小値」といった概念が、圏論的な「極限」「余極限」の特別な場合として理解される。

6. モノイドとしての圏

対象がたった一つしかない圏 $\mathcal{M}$ を考える。 対象は一つ（これを $\ast$ としよう）だが、射 $f:\ast \to \ast$ はたくさんあってもいい。 合成規則があり、恒等射がある。これは代数学における「モノイド（単位元を持つ半群）」そのものである。

• 視点の転換: 通常、モノイドは「要素の集まり」と見なされるが、圏論では「一つの対象に対する自己射の集まり」と見なす。この視点の転換が、プログラム意味論などで威力を発揮する。

---

【第3節】図式の可換性

—— 圏論における「方程式」

圏論の本を開くと、ページ中に矢印で描かれた三角形や四角形が溢れていることに気づくだろう。これを**「図式（Diagram）」と呼ぶ。 そして、圏論における主張の9割は、「この図式は可換（Commutative）である」**という形式で行われる。

可換図式とは何か

可換図式とは、一言で言えば**「どの道を通っても結果は同じ」**という宣言である。 例えば、以下のような三角形の図式を考えよう。

$$\begin{array}{ccc}A& \stackrel{f}{\to }& B\\ & {\searrow }_h& \downarrow g\\ & & C\end{array}$$

この図式が「可換である」とは、 $g\circ f=h$ という等式が成り立つことを意味する。 $A$ から $C$ へ行くのに、$h$ という直行便で行くのと、$f$ で一旦 $B$ を経由してから $g$ で行く乗り継ぎ便とで、最終的な到着先（および作用の結果）が完全に一致するということだ。

四角形の可換性

四角形の図式の場合も同様である。

$$\begin{array}{ccc}A& \stackrel{f}{\to }& B\\ k\downarrow & & \downarrow g\\ D& \stackrel{h}{\to }& C\end{array}$$

この四角形が可換であるとは、上を通るルートと下を通るルートが等しいこと、すなわち $g\circ f=h\circ k$ が成り立つことを意味する。

なぜ数式ではなく図式なのか？

単に等式 $g\circ f=h\circ k$ と書けば一行で済むのに、なぜわざわざ場所を取る図を描くのか？ それには深い理由がある。

1. 構造の可視化: 複雑な定理になると、登場する対象や射が10個以上になることもある。数式の羅列では、情報の流れ（誰が誰に作用して、どこへ向かっているのか）が見えなくなる。図式は、情報のトポロジー（接続関係）を一目で把握させる地図である。
2. 証明のガイドライン: 圏論の証明は、しばしば「図式追跡（Diagram Chasing）」と呼ばれるパズルのような作業になる。「この三角形が可換で、あちらの四角形も可換だから、結果として外側の大きな六角形も可換になる」といった具合に、小さな可換ピースを組み合わせて大きな可換性を示す。これは代数計算というよりは、幾何学的な経路探索に近い。

そして何より、本著のテーマである「商（Quotient）」や「普遍性」は、この可換図式なしには定義不可能である。 「ある射が一意に存在する」という普遍性の主張は、「ある点線矢印を書き入れたとき、図式全体が可換になるようにできるか？」という問いとして定式化される。可換図式は、圏論における**「構造の方程式」**なのである。

---

続く論点（第二部）

【第4節】モノ射とエピ射 —— 「単射・全射」の行動主義的定義 【第5節】同型（Isomorphism） —— 構造的な「同じ」の最終定義

第二部では、圏論的思考の真骨頂である「行動主義的定義」を解説します。要素の中身を見ずに、矢印の振る舞い（キャンセル可能性）だけで単射や全射を定義する手法。そして、環の圏における「全射でないエピ射」という衝撃的な反例を通じて、商概念の深淵へと迫ります。

続けて第二部を出力してよろしいでしょうか？