【第4節】モノ射とエピ射

—— 「単射・全射」の行動主義的定義

前章において、我々は集合論の言葉で「単射（情報を守る写像）」と「全射（情報を圧縮する写像）」を定義した。

単射： $x \neq = y ⟹ f (x) \neq = f (y)$
全射：すべての $y$ に誰かが飛んでくる

しかし、圏論の世界では「要素 $x$ 」を取り出して議論することは（公式には）許されない。あるのは対象と射だけだ。では、中身を見ずにどうやって「単射」や「全射」を区別するのか？ここで圏論が採用するのが、心理学で言うところの**「行動主義（Behaviorism）」**のアプローチである。「箱の中身が何であるか」は問わない。「外部からの刺激（入力）に対してどう反応（出力）するか」だけを見て、その箱の性質を規定するのだ。

1. モノ射（Monomorphism）：左から消せる矢印

集合論における単射 $f$ の性質を思い出そう。「 $f$ を通した後でも結果が同じなら、通す前の入力も同じはずだ」。これを圏論の言葉（射の合成）で書き換えると、こうなる。

【定義】 射 $f : A \to B$ がモノ射であるとは、任意の対象 $Z$ と任意の射 $g, h : Z \to A$ に対して、 $f \circ g = f \circ h ⟹ g = h$ が成り立つことを言う。

これを**「左簡約可能（Left cancellable）」**と言う。数式の左側にある $f$ をキャンセルして消してしまえる、という意味だ。

解釈: $Z$ は「テスト用のプローブ（探針）」である。 $g$ と $h$ という二つの異なる刺激を $A$ に与えたとする。もし $f$ が情報を混同してしまう（単射でない）なら、 $f$ を通した後の $f \circ g$ と $f \circ h$ は区別がつかなくなるかもしれない。
モノ射であるとは、「どんなテスト用入力 $g, h$ を持ってきても、出力が一致するなら入力も一致していた」と断言できる能力のことだ。これは $f$ が**「識別能力（情報を保存する力）」**を持っていることを、外部との関係性だけで定義している。

Set（集合の圏）や Grp（群の圏）などの多くの圏では、「モノ射」は「単射」と完全に一致する。しかし、要素を使わないこの定義は、集合論を超えたより広い世界でも通用する普遍的なものである。

2. エピ射（Epimorphism）：右から消せる矢印

次に、本著のテーマである「商」に関わる重要な概念、全射の圏論化を行おう。

【定義】 射 $f : A \to B$ がエピ射であるとは、任意の対象 $Z$ と任意の射 $g, h : B \to Z$ に対して、 $g \circ f = h \circ f ⟹ g = h$ が成り立つことを言う。

これを**「右簡約可能（Right cancellable）」**と言う。

解釈: 今度は $f$ が先に作用する。 $f$ の出力（ $A$ からの像）だけで、 $g$ と $h$ の挙動を完全に決定できるか？というテストである。
もし $f$ の像が $B$ 全体を覆っていない（全射でない）としよう。 $f$ が届かない「死角」において、 $g$ と $h$ がこっそり違う値を返していたとしても、 $f$ を通した結果 $g \circ f$ と $h \circ f$ は一致してしまうかもしれない（死角の情報は $f$ によって切り捨てられるから）。
エピ射であるとは、そのような死角が存在しない、すなわち**「 $f$ の影響力が $B$ 全体に及んでいる（支配的である）」**ことを意味する。

Set（集合の圏）や Grp（群の圏）、Vect（ベクトル空間の圏）において、エピ射は通常の「全射」と一致する。したがって、これらの圏において「商をとる」とは、「エピ射を作る」ことと同義である。

【重要】エピ射 $\neq =$ 全射の衝撃（環の圏の反例）

しかし、圏論の面白さ（そして難しさ）はここからだ。「エピ射ならば全射である」というのは、常に成り立つわけではない。最も有名な反例が、Ring（単位元を持つ可換環の圏）における包含写像である。

包含写像 $i : Z \to Q$ を考えよう（整数環を、有理数体の一部とみなす）。これは集合論的には明らかに全射ではない（ $\frac{1}{2}$ などは整数の像ではない）。スカスカである。ところが驚くべきことに、圏論的にはこれはエピ射である。

なぜか？有理数体 $Q$ から別の環 $R$ への二つの準同型 $g, h : Q \to R$ があったとする。もし、整数 $Z$ 上での振る舞いが一致していれば（ $g \circ i = h \circ i$ ）、有理数全体での振る舞いも一致してしまう（ $g = h$ ）からだ。有理数 $m / n$ に対する値は、 $g (m / n) = g (m) g (n)^{- 1}$ のように整数に対する値から一意に計算できてしまう。つまり、整数 $Z$ は、有理数 $Q$ 全体を**「支配（Dominance）」**しているのである。

この例は、圏論における「エピ射（商）」という概念が、単なる「要素の被覆（全射）」よりも深い意味——**「情報の決定権を握っている」**という意味——を持っていることを示唆している。商概念を圏論で扱う意義は、この「一般化された商」を扱える点にもあるのだ。

【第5節】同型（Isomorphism）

—— 構造的な「同じ」の最終定義

モノ射（単射的）であり、かつエピ射（全射的）であれば、それは「同型（全単射）」と言えるだろうか？答えは No である。先ほどの $Z \to Q$ は、モノ射かつエピ射だが、明らかに同型ではない（逆写像が存在しない）。圏論において、二つの対象が「同じ」であること、すなわち**「同型（Isomorphism）」**であるための条件は、もっと直接的で強力なものである。

「行って帰ってくると元通り」

射 $f : A \to B$ が同型射であるとは、逆向きの射 $g : B \to A$ が存在して、以下の2式を同時に満たすことである。 $g \circ f = i d_{A}$ $f \circ g = i d_{B}$ このとき、 $A$ と $B$ は**同型（Isomorphic）**であるといい、 $A ≅ B$ と書く。

$g \circ f = i d_{A}$ ： $f$ で行った後、 $g$ で帰ってくると、元の位置に戻る（エンコードしてデコードできる）。これは $f$ が情報を失っていない（モノ射的である）ことを保証する。
$f \circ g = i d_{B}$ ： $B$ のどの地点から出発しても、 $g$ で戻って $f$ で行けば、元の位置に戻る。これは $f$ が $B$ 全体をカバーしている（エピ射的である）ことを保証する。

圏論における「同型」は、単なる全単射以上の意味を持つ。それは**「構造の可逆的変換」**である。例えば、Top（位相空間の圏）において、連続な全単射であっても、逆写像が連続でなければ同型（同相）とは呼ばれない。圏論の定義では、逆射 $g$ もまたその圏の「射（連続写像）」でなければならないため、この機微が自動的に判定される。

同型射と商の関係

同型射は、商の特殊な場合と見ることができる。「情報を全く捨てない商」、あるいは「解像度を変えない圧縮」である。圏論的な視点では、我々が興味を持つのは「同型の違いを除いて（Up to isomorphism）」対象を分類することである。例えば、「要素数3の集合」は無数にある（ ${1, 2, 3}, {a, b, c}, \dots$ ）が、Set という圏においては、これらはすべて一つの同型類として扱われる。圏論学者はこれらを区別しない。彼らにとって、これらは「一つの対象の別名（エイリアス）」に過ぎないのだ。

構造主義の極北：同型性による定義

圏論の真骨頂は、「ある性質を持つ対象」を定義する際に、**「同型の範囲内で一意に定まる（Unique up to isomorphism）」**という言い回しをすることだ。例えば、「直積集合 $A \times B$ 」を定義する際、集合論では「ペア $(a, b)$ の集合」と具体的に構成する。しかし圏論では、「ある普遍性（射影を持つなど）を満たす対象」として定義する。そのような対象は、実体が何であれ（ペアの集合だろうが、素数冪の分解だろうが）、構造的に同型であればすべて「直積」として認める。

これにより、数学的対象は「何でできているか（Material）」という束縛から完全に解放され、「どのような役割を果たすか（Role）」という機能的なアイデンティティを獲得する。この自由な視点こそが、次章以降で「類似（随伴）」や「商（余極限）」を縦横無尽に語るための翼となるのである。

続く論点（第三部）

【第6節】関手（Functor） —— 圏と圏の間の翻訳 【第7節】圏論的思考の革命 —— 要素還元主義との決別

第三部では、圏そのものを飛び越えて、異なる圏同士を結ぶ「関手」を導入します。これは数学の異なる分野（代数と幾何など）をつなぐ橋であり、「類似性」の最も高度な表現の一つです。最後に、米田の補題の哲学に触れ、圏論の基礎編を締めくくります。

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

Quartz 4

Explorer

【第4節】モノ射とエピ射