【第3節】普遍性（Universal Property）の解読

【第3節】普遍性（Universal Property）の解読

—— 「始対象」としての商

前節で定義した余等化子の「普遍性」。 「任意の $h$ に対して、一意的な $u$ が存在して……」というこの定型句は、圏論初学者にとって最初の、そして最大の壁となることが多い。 ここで一度立ち止まり、この定義が何を語っているのかを、数学的な厳密さを保ちつつ、直感的なメタファーで読み解いてみよう。

「外注（アウトソーシング）」の原理

余等化子 $(Q,q)$ の役割を、巨大企業の「受付窓口」に例えてみよう。

• $B$: 会社に来るすべてのお客様（データ）。
• $f,g$: 「AさんとBさんは同一人物として扱え」という社内規定（同一視のルール）。
• $Q$: 受付窓口。
• $Z$: 会社の各部署（営業部、人事部など）。
• $h$: 各部署が独自に行う業務処理。

各部署 $Z$ は、自分たちで勝手にお客様 $B$ を処理（写像 $h$）しようとする。ただし、社内規定（$h\circ f=h\circ g$）は守らなければならない。 しかし、これでは効率が悪い。すべての部署がそれぞれ個別に「同一人物確認」を行うのは無駄だ。

そこで、受付窓口 $Q$（余等化子）の登場だ。 $Q$ は、最初にお客様を受け付け、社内規定に従って名寄せ（同一視）を完璧に行う。そして整理されたデータ（商）を作成する。 普遍性が主張するのは、以下の事実だ。 「どんな部署のどんな業務 $h$ であっても、一度受付 $Q$ を通して整理されたデータを受け取れば、あとはそこから追加処理 $u$ を行うだけで、元の業務 $h$ と全く同じことができる」 $h=u\circ q$ つまり、すべての部署は、面倒な「同一視処理」をすべて $Q$ に**外注（アウトソーシング）**できるのだ。

「一意性」が保証する情報の純度

ここで重要なのが、追加処理 $u$ が**「ただ一つ（Unique）」**に決まるという点だ。 もし $Q$ が、社内規定以上の余計な気を使って、本来区別すべき人まで勝手に同一視してしまっていたら（情報の過剰圧縮）、部署によっては「いや、その二人は区別してくれないと困るんだよ」となり、業務 $h$ を再現できなくなる（$u$ が存在しない）。 逆に、もし $Q$ が仕事をサボって、同一視すべき人をバラバラのまま渡してきたら（情報の圧縮不足）、部署側で「どっちのデータを使えばいいんだ？」という迷いが生じ、処理が一意に定まらなくなるかもしれない。

$u$ が「必ず存在し、かつ唯一である」ということは、$Q$ が作成したデータが、**「規定された同一視だけを完璧に行い、それ以外の情報は一切捨てていない」**という、純度100%の結晶であることを保証しているのである。

同型を除いて一意（Unique up to isomorphism）

普遍性によって定義される対象（ここでは $Q$）は、厳密には「ただ一つ」ではない。名前が違うだけの双子（同型な対象）が無数に存在するかもしれない。 しかし、圏論では**「同型なものは同じとみなす」**。 普遍性を満たす対象同士は、必ず互いに同型になることが証明できる（お互いに $u$ を投げ合うことで示せる）。 したがって、我々は「余等化子 $Q$」と単数形で呼んで差し支えない。それは構造としての唯一性を完全に獲得しているからだ。

---

【第4節】集合圏 Set における余等化子

—— 商集合の再発見

さて、抽象的な話はここまでにして、具体的な圏で余等化子がどのような姿をしているかを見てみよう。まずは最も基本的な集合の圏 Set である。

構成レシピ

• 入力: 集合 $A,B$ と、写像 $f,g:A\to B$。
• 目標: $f(x)$ と $g(x)$ を同一視する「最小の」商集合を作りたい。

第1章の手法を思い出そう。まず関係を作り、それを同値関係に育て、商をとる。

1. 関係の定義: $B$ 上の関係 $R_0$ を、$R_0=\{(f(a),g(a))\mid a\in A\}$ で定義する。「$f(a)$ と $g(a)$ は似ている」という種を蒔く。
2. 同値関係の生成: $R_0$ を含む最小の同値関係 $\sim$ を生成する。
   • 反射律、対称律、推移律を満たすように、$R_0$ を拡張していく（推移的閉包など）。これにより、「友達の友達」まで同一視の輪が広がる。
3. 商集合の作成: $Q=B/\sim$ とする。
4. 射影の定義: $q:B\to Q$ を、自然な射影 $q(b)=[b]$ とする。

普遍性の確認

この構成で作った $(B/\sim ,q)$ は、果たして余等化子の普遍性を満たすだろうか？ 任意の集合 $Z$ と写像 $h:B\to Z$ を考えよう。条件は $h\circ f=h\circ g$、つまり $\forall a\in A,h(f(a))=h(g(a))$ である。 これは、「$h$ は $R_0$ で結ばれたペアに対して同じ値を返す」ことを意味する。 $h$ が $R_0$ を尊重するなら、当然その拡張である同値関係 $\sim$ も尊重する（等式は推移するから）。 したがって、第1章で述べた「商写像の普遍性」により、写像 $u:B/\sim \to Z$ が一意に存在して $h=u\circ q$ となる。

結論: 集合圏 Set において、余等化子 $\text{Coeq}(f,g)$ は、商集合 $B/\sim$ そのものである。 我々が慣れ親しんだ「商集合」とは、余等化子という普遍的概念の、集合圏における受肉（実装）だったのである。

---

【第5節】群の圏 Grp における余等化子

—— 正規部分群の謎解き

次に、群の圏 Grp へ舞台を移そう。ここでは対象は群、射は群準同型である。 ここでの余等化子の構成は、集合の場合よりも少しデリケートである。「構造」を守らなければならないからだ。

正規部分群の生成

• 入力: 群 $G,H$ と、準同型 $f,g:G\to H$。
• 目標: $f(x)=g(x)$ となるような商群を作りたい。

群論において、$f(x)=g(x)$ という式は、移行して $f(x)g(x{)}^{-1}=e(\text{単位元})$ と書き直せる。つまり、「$f$ と $g$ の差」を単位元 $e$ に潰したいのだ。 潰したい要素の集合を $S=\{f(x)g(x{)}^{-1}\mid x\in G\}\subseteq H$ としよう。

集合論のノリで、$S$ を含む「部分群」で割ればいいだろうか？ いや、群論では「正規部分群」でなければ商を作れない（well-definedにならない）。 そこで、圏論的な要請（普遍性）に従うと、自動的に次のような手順を踏むことになる。

1. 正規閉包をとる: 集合 $S$ を含む、最小の正規部分群 $N$ を生成する。
   • 単に $S$ が生成する部分群 $⟨S⟩$ ではダメだ。外部からの共役作用 $hS{h}^{-1}$ に対しても閉じていなければならない。なぜなら、商群での演算が矛盾しないためには、正規性が必要不可欠だからだ。
2. 商群の作成: $Q=H/N$ とする。
3. 射影: $q:H\to H/N$ を自然な準同型とする。

圏論の勝利：正規性の必然性

ここで感動的なのは、我々が「正規部分群でなければならない」と事前に知らなくても、「余等化子の普遍性を満たす対象を作ろう」と努力するだけで、自動的に正規部分群 $N$ が導き出されるという点だ。

もし $N$ が正規でなかったら、商空間 $H/N$ に群構造が入らず、そもそも群の圏 Grp の対象になれない（あるいは射影が準同型にならない）。 「正規部分群で割る」という群論特有のルールは、人間が勝手に決めたものではなく、**「普遍的な商（余等化子）が存在するための論理的必然」**だったのである。

余等化子の概念は、群論の教科書で天下りに与えられた「正規部分群」や「剰余群」の定義に、明確な存在理由（Raison d’être）を与える。 「なぜ正規でなければならないのか？」 「それが最も効率よく情報を圧縮し、かつ構造を保つ（普遍性を持つ）唯一の方法だからだ」

アーベル群の場合

ちなみに、アーベル群の圏 Ab（可換群の世界）では、すべての部分群が正規部分群になるため、話はもっと簡単になる。 $f,g:A\to B$ の余等化子は、単に像の差 $Im(f-g)$ による商 $B/Im(f-g)$ となる。これは線形代数における商空間 $V/W$ と全く同じ感覚で扱える。 圏論において Ab が Set よりも扱いやすい（行儀が良い）と言われる理由の一つがここにある。

---

続く論点（第三部）

【第6節】位相空間の圏 Top における余等化子 —— グルーイング（接着）の幾何学 【第7節】余極限（Colimit）への飛躍 —— 全ては一つにつながる

第三部では、トポロジーにおける「図形の貼り合わせ（グルーイング）」が余等化子として記述できることを示します。メビウスの帯やトーラスが、数式（図式）として構成される様は圧巻です。最後に、余等化子を一般化した「余極限」へと話を広げ、本章を総括します。

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