第4章普遍性という考え方

「いちばん◯◯なもの」を射で捉える

数学には「もっとも◯◯なもの」がよく現れます。もっとも自由な群（自由群）、もっとも粗い/細かい位相、最大公約数、二つの集合の直積……。これらは中身を書き下すと分野ごとにバラバラですが、圏論の目で見ると すべて同じ形をしています。その共通の形が普遍性です。

普遍性の発想はこうです。ある対象を「それ自体が何でできているか」でなく、「他のすべての対象と、どういう唯一の仕方で関係するか」で特徴づける。中身でなく、外との関係（射）で定義する。第1章の精神「関係で語る」の、最も強力な使い方です。まずは最も単純な例——始対象・終対象——で、この考え方の骨格を掴みます。

普遍性＝「他のあらゆる対象へ（から）ただ一本の射で結ばれる」ことで対象を特徴づける。中身でなく関係で定義する。

始対象と終対象

定義始対象・終対象

圏 $\mathcal C$ の対象 $I$ が始対象とは、任意の対象 $A$ に対し射 $I\to A$ がただ一つ存在すること。対象 $T$ が終対象とは、任意の $A$ に対し射 $A\to T$ がただ一つ存在すること。（終対象は始対象の双対——矢印を逆にしただけ。）

「すべてへただ一本の矢印を出す」のが始対象、「すべてからただ一本の矢印を受ける」のが終対象。定義に対象の中身は一切登場しません。射の存在と一意性だけ。にもかかわらず、各分野で具体的な“おなじみの対象”がこれになります。

例始対象・終対象の実例

$\mathbf{Set}$ ：始対象＝空集合 $\varnothing$ （そこからは一意な空写像がどこへでも）。終対象＝一点集合 $\{*\}$ （どこからも「全部 $*$ に送る」唯一の写像）。
$\mathbf{Grp}$ ：始対象も終対象も自明群 $\{e\}$ （両方を兼ねる＝零対象）。
$\mathbf{Ring}$ （単位的環）：始対象＝ $\mathbb Z$ （そこから任意の環へ $1\mapsto 1$ で一意）。終対象＝零環。
順序集合（圏とみなす）：始対象＝最小元、終対象＝最大元。

環の始対象が $\mathbb Z$ なのは示唆的です。「 $\mathbb Z$ から任意の環へ準同型がただ一つ」——これは「 $1$ を何回足すか」で写像が決まってしまうことの言い換え。 $\mathbb Z$ の“もっとも基本的な環”という性格が、中身でなく普遍性（射の一意性）で言い当てられています。

普遍性は対象を“同型を除いて一意”に決める

普遍性の最も重要な帰結。普遍性をみたす対象は、あっても本質的に一つ（同型を除いて一意）。だから「◯◯という普遍性をもつもの」と言えば、それが具体的に何であれ、圏論的には一意に定まります。

定理始対象の一意性

始対象は、存在すれば同型を除いて一意（二つの始対象は一意同型で結ばれる）。終対象も同様。

証明

$I,I'$ をともに始対象とする。 $I$ の普遍性より一意な射 $f:I\to I'$ 、 $I'$ の普遍性より一意な $g:I'\to I$ がある。合成 $g\circ f:I\to I$ は射だが、 $I$ が始対象なので $I\to I$ の射はただ一つ——それは $\mathrm{id}_I$ 。よって $g\circ f=\mathrm{id}_I$ 。同様に $f\circ g=\mathrm{id}_{I'}$ 。ゆえに $f$ は同型、 $I\cong I'$ 。∎

この証明のパターン——「一意性から、二つの候補の間の往復合成が恒等射に等しいと結論する」——は、あらゆる普遍性の一意性証明の雛形です。積でも極限でも随伴でも、まったく同じ論法が繰り返されます。一度これを飲み込めば、以降の「一意性」はすべて同じ手で片づく。「一意な射がある」という条件が、そのまま「同型を除いて一意」を生む——これが普遍性の威力です。

普遍写像性質——一般の型

始対象・終対象は普遍性の最も素朴な形でした。一般には「補助的な図式（余錐・錐）に対して、それを一意に因子分解する対象」として定式化されます。次章の積・極限がその本格版です。ここでは考え方の“型”だけ抜き出します。

注意普遍性の型（次章への地図）

多くの普遍対象は、次の形をとる——「ある“条件つきの対象”を集めた補助圏を作り、その圏の始対象または終対象をとる」。たとえば積 $A\times B$ は、「 $A,B$ への射の対 $(X\to A,\ X\to B)$ 」を対象とする圏の終対象として現れる（第5章）。自由群は、「集合から群への写像」を集めた圏の始対象。普遍性＝補助圏の始/終対象——この一言が、バラバラの構成を一つに束ねる。だから一意性証明も、上の始対象の論法の使い回しで済む。

つまずきポイント

注意よくある誤解

普遍性は「存在」と「一意性」の両方が命。 「射がある」だけでも「一意」だけでも足りない。ただ一つ存在が普遍性。一意性が同型を除く一意性を生む。
始対象と終対象は双対。 矢印の向きが逆なだけ。片方の定理は他方でタダで成り立つ（第1章の双対性）。
普遍対象は具体物でなく“役割”で決まる。 「 $\mathbb Z$ が環の始対象」は $\mathbb Z$ の中身でなく、他の環との関係（一意な準同型）で決まる。中身が違っても同じ役割なら同型。
一意性証明はいつも同じ型。 二つの候補の往復合成が恒等になる、を示す。この雛形を覚えると以降が楽。

この章のまとめ

普遍性＝対象を中身でなく「他のあらゆる対象と結ぶ唯一の射」で特徴づける考え方。
始対象（全対象へ一意な射を出す）・終対象（全対象から一意な射を受ける）が最も素朴な例。 $\mathbf{Set}$ の $\varnothing,\{*\}$ 、 $\mathbf{Ring}$ の $\mathbb Z$ など、各分野の基本対象がこれ。
普遍対象は同型を除いて一意。証明は「往復合成が恒等」の雛形で、以降すべての普遍性に使い回せる。
普遍性＝補助圏の始/終対象という型が、積・極限・自由対象・随伴を貫く。次章でその本格版——積・余積・極限——へ。
次章では、積・余積・引き戻し・押し出し、そして一般の極限・余極限を普遍性で定義し、双対性を体感します。

次章では、積と余積を普遍性で定義し、極限・余極限へ一般化しながら、双対性をインタラクティブに体感します。

第4章 普遍性という考え方