【第6節】極限（Limit）と余極限（Colimit）の対比

本章では「双対性」をテーマに、商と部分、エピとモノといった対概念を見てきた。実は、これらはすべて**「極限（Limit）」と「余極限（Colimit）」**という、より一般的で巨大な枠組みの中に位置付けることができる。圏論を学ぶ者にとって、この二つの概念の対比表を頭の中に持つことは、羅針盤を持つのと同じくらい重要である。

極限（Limit）：制約を満たす最大の対象

極限とは、様々な制約条件（図式）を満たす対象の中で、最も一般的で、情報を失っていない「最大の」もののことだ。その定義には「錐（Cone）」という概念が使われるが、直感的には**「共通部分」や「解空間」**の一般化だと思えばよい。

直積（Product） $A \times B$ : 何の制約もない極限。「 $A$ への射影」と「 $B$ への射影」を持つ普遍的な対象。
等化子（Equalizer） $E$ : 平行射 $f, g$ に対し、 $f (x) = g (x)$ という制約を満たす部分。
引き戻し（Pullback） $A \times_{C} B$ : 共通の行き先 $C$ を持つ $A$ と $B$ の中で、整合性が取れるペアを選び出したもの。

これらはすべて、対象の「内側」へ向かう操作であり、「部分（Subobject）」を作る操作の親戚である。キーワードは「制約（Constraint）」「共通部分（Intersection）」「保存（Conservation）」。

余極限（Colimit）：統合した最小の対象

対して余極限とは、バラバラのパーツ（図式）を統合した対象の中で、余計なものを付け足していない「最小の」もののことだ。定義には「余錐（Cocone）」が使われる。直感的には**「貼り合わせ」や「合併」**の一般化だ。

直和（Coproduct） $A ⊔ B$ : 何の制約もなく並べた余極限。「 $A$ からの埋め込み」と「 $B$ からの埋め込み」を持つ普遍的な対象。
余等化子（Coequalizer） $Q$ : 平行射 $f, g$ の違いを解消するように貼り合わせた商。
押し出し（Pushout） $A \cup_{C} B$ : 共通の部品 $C$ を糊代にして、 $A$ と $B$ を貼り合わせたもの。

これらはすべて、対象の「外側」へ広がる操作であり、「商（Quotient Object）」を作る操作の親戚である。キーワードは「統合（Integration）」「同一視（Identification）」「構築（Construction）」。

双対表による整理

概念（極限サイド）	概念（余極限サイド）	直感的イメージ
極限 (Limit)	余極限 (Colimit)	絞り込み vs 拡張
終対象 (Terminal)	始対象 (Initial)	全てを受け入れる一点 vs 全ての始まり
直積 (Product)	直和 (Coproduct)	AND（かつ） vs OR（または）
等化子 (Equalizer)	余等化子 (Coequalizer)	解集合（部分） vs 商空間（商）
引き戻し (Pullback)	押し出し (Pushout)	ファイバー積（共通部分） vs 接着（和集合）
核 (Kernel)	余核 (Cokernel)	ゼロになる部分 vs 像を潰した残り

この表を眺めれば、数学の見通しが劇的に良くなる。「商をとる」という操作（余等化子）で行き詰まったら、双対である「部分をとる（等化子）」の操作を考えてみればよい。鏡に映すことで、解決の糸口が見つかることは珍しくない。

【第7節】完全列（Exact Sequence）

—— 部分と商の織りなすリズム

本章の、そして基礎編のフィナーレとして、部分（極限）と商（余極限）が見事に協調して踊る、数学で最も美しい構造の一つ**「完全列（Exact Sequence）」**を紹介しよう。

「ちょうど消える」という奇跡

対象が一列に並び、その間を射がつないでいる列を考える。 $\dots f_{n - 1} A_{n} f_{n} A_{n + 1} f_{n + 1} \dots$ この列が $A_{n}$ において**完全（Exact）**であるとは、以下の条件を満たすことである。 $Im (f_{n - 1}) = Ker (f_{n})$

$Im (f_{n - 1})$ : 前の射 $f_{n - 1}$ によって $A_{n}$ に入ってきた情報の「像」。
$Ker (f_{n})$ : 次の射 $f_{n}$ によってゼロ（無）に帰してしまう情報の「核」。

「入ってきたもの（像）が、すべて次で消える（核）」。そして、「次で消えるものは、すべて前から来たものである」。これは情報の**「ロスレス・リレー」**である。入ってきた情報は、 $A_{n}$ の中で一休みする間もなく、すべて次のプロセス $f_{n}$ で消滅させられる（商をとられる）。しかし、外から勝手に湧いて出たノイズ（核に含まれるが像には含まれないもの）は一つもない。完全列とは、情報の流れに澱みも漏れもない、完璧なパイプラインの状態を表している。

短完全列：商と部分の協奏曲

特に重要なのが、以下の長さの**短完全列（Short Exact Sequence）**である。 $0 \to A i B p C \to 0$ （ここで $0$ はゼロ対象。 $0 \to A$ は $A$ の出発点、 $C \to 0$ は $C$ の終着点を表す）

この列が完全であることは、以下の3つの事実を同時に主張している。

$i$ はモノ射である（ $Ker (i) = 0$ ）： $A$ は $B$ の部分対象である。
$p$ はエピ射である（ $Im (p) = C$ ）： $C$ は $B$ の商対象である。
中央での完全性（ $Im (i) = Ker (p)$ ）： $B$ の中で、 $A$ （の像）と同一視されて消える部分は、まさに $C$ へ行くための商の核と一致する。

これを準同型定理の言葉で翻訳すると、こうなる。 $C ≅ B / A$ 「 $C$ は、 $B$ を部分 $A$ で割った商（余等化子）である」「 $A$ は、 $B$ から商 $C$ への射の核（等化子）である」「 $B$ は、 $A$ と $C$ を（あるねじれを持って）貼り合わせたものである（拡張）」

短完全列は、対象 $B$ を「部分 $A$ 」と「商 $C$ 」という二つの成分に分解し、その構造をレントゲン写真のように映し出す。代数的トポロジーやホモロジー代数において、複雑な対象 $B$ を解析する際、我々は常にこの短完全列を探し求める。 $B$ が分からなくても、部分 $A$ と商 $C$ が分かれば、 $B$ の情報は（ある程度）復元できるからだ。

結び：抽象化の果てにある風景

双対性の鏡を通して、我々は「商」と「部分」が表裏一体の関係にあることを知った。情報を捨てること（商）は、残すべき情報を際立たせること。情報を選び出すこと（部分）は、それ以外を捨てること。エピ射とモノ射、余極限と極限。これらは対立する概念ではなく、一つの現象を「外から見るか、内から見るか」という視点の違いに過ぎない。

圏論というレンズを通して見る数学の世界は、もはやバラバラの定義の寄せ集めではない。すべてが「普遍性」という原理で統制され、「双対性」という鏡で対称性を保ち、「完全列」というリズムで流れる、一つの壮大な交響曲なのである。

次章からは、この強力な圏論の言語を携えて、数学のさらに深奥なる領域——「随伴（Adjunction）」——へと踏み込んでいく。そこでは、異なる世界（圏）同士の「類似性」が、商と部分を超えたダイナミックな相互作用として描かれることになる。

（第4章・完）

第一部：双対性原理と反対圏の導入、等化子・部分対象の定義。
第二部：商対象の定義と、写像の分解（像・余像）による準同型定理の再解釈。
第三部：極限・余極限の統合的理解と、完全列による構造解析。

この章により、読者は「商」という概念を単独で見るのではなく、「部分」との有機的な関係性の中で立体的に捉える視座を獲得しました。これは次章の「随伴」や「幾何学への応用」を理解するための不可欠な基礎となります。

Quartz 4

Explorer

【第6節】極限（Limit）と余極限（Colimit）の対比