集合論と圏論の架け橋（３０語）

1. 射と対象の基礎

81. 対象 (Object) 集合論では「集合」そのものを指すが、圏論では矢印（射）の始点と終点になる「点」のような存在。「Object」はラテン語の「objectum（投げられたもの、対象物）」に由来。中身（要素）が見えるとは限らない。 【圏論での注意】 集合圏（Set）では対象は「集合」ですが、圏論一般では要素を持たない抽象的な点として扱われます。「元 $x$ が集合 $A$ に属する」という概念は直接的には存在せず、代わりに「一点集合からの射」として表現されます。

82. 射 (Morphism / Arrow) 「Morph（形）」に由来。集合論における「写像」の一般化。集合圏では関数そのものだが、一般の圏では「構造を保つ変換」や単なる「矢印」として定義される。結合法則と恒等射の存在が要請される。 【圏論での注意】 写像とは異なり、必ずしも要素ごとの対応関係（関数）である必要はありません。例えば、順序集合を圏と見なした場合、射 $A \to B$ は「 $A \leq B$ である」という事実そのものを表します。

83. 恒等射 (Identity) ラテン語の「identitas（同一性）」に由来。集合論では自分自身を変えない写像（ $i d_{A} (x) = x$ ）のこと。何もしない変換。 【圏論での注意】 全ての対象には必ず一つの恒等射が存在しなければなりません。射の合成において「単位元」の役割（ $f \circ i d = f$ ）を果たします。これがないと圏として成立しない、最も基本的な構造的要請です。

84. 合成 (Composition) ラテン語の「componere（組み立てる）」に由来。集合論では二つの写像を繋げることだが、圏論では射の結合演算そのものを指す。結合法則（Associativity）を満たす必要がある。 【圏論での注意】 圏論における唯一の演算です。「図式が可換である」とは、異なる経路で射を合成しても結果が同じになることを意味し、これが圏論的な証明の基本スタイルとなります。

85. 同型 (Isomorphism) ギリシャ語の「isos（等しい）」と「morphe（形）」に由来。集合論では全単射のこと。構造を保ったまま完全な一対一対応ができるため、実質的に「同じ」とみなせる状態。 【圏論での注意】 「逆射を持つ射」として定義されます。つまり $f \circ g = i d$ かつ $g \circ f = i d$ となる射が存在すること。集合圏では全単射と一致しますが、位相空間の圏などでは、全単射であっても逆が連続とは限らないため、同型とは限りません。

86. 単射 (Monomorphism) 「Mono（単一の）」に由来。集合論では「異なる要素は異なる値に移る」写像。行き先が重ならない（潰れない）変換。 【圏論での注意】 「左簡約可能（ $f \circ g = f \circ h ⟹ g = h$ ）」な射として定義されます。要素を使わずに定義されるため、一般の圏では集合論的な「単射」と必ずしも一致しませんが、多くの圏で「部分構造」を定義する基礎となります。

87. 全射 (Epimorphism) 「Epi（上に）」に由来。集合論では「値域が終域全体と一致する」写像。全ての要素を覆い尽くす変換。 【圏論での注意】 「右簡約可能（ $g \circ f = h \circ f ⟹ g = h$ ）」な射として定義されます。集合圏では全射と一致しますが、例えば「環の圏」では包含写像（ $Z \to Q$ ）が全射（エピ射）になるなど、直感と異なる挙動をすることがあり注意が必要です。

88. 始対象 (Initial Object) 集合論における「空集合」の一般化。空集合からは任意の集合に対してただ一つだけ写像（空写像）が存在する。 【圏論での注意】 「任意の対象 $X$ に対して、そこへの射がただ一つ存在する対象」として定義されます。群の圏では「単位元のみの群」、環の圏では「整数環 $Z$ 」が始対象となるなど、必ずしも「空っぽ」や「最小」を意味しません。

89. 終対象 (Terminal Object) 集合論における「一点集合（singleton）」の一般化。任意の集合から一点集合への写像は、全てをその点に潰す写像ただ一つである。 【圏論での注意】 「任意の対象 $X$ から、そこへの射がただ一つ存在する対象」として定義されます。圏論において「要素 $x \in A$ 」を考える際は、終対象から対象 $A$ への射（ $1 \to A$ ）として表現されます（グローバル要素）。

2. 極限と普遍性

90. 直積 (Product) 集合論では $A \times B$ （順序対の集合）。圏論ではこれを「射影」という関係性を通じて定義する。成分を取り出せる構造。 【圏論での注意】 要素のペアではなく「普遍性（Universal Property）」で定義されます。「任意の対象から $A$ と $B$ への射の組があれば、直積への射がただ一つ定まる」という性質を持つ対象のこと。圏によっては直積が存在しないこともあります。

91. 直和 (Coproduct) 集合論では $A ⊔ B$ （共通部分を持たない和集合）。圏論では直積の双対（矢印を逆にしたもの）。 【圏論での注意】 「任意の $A, B$ から対象 $X$ への射の組があれば、直和からの射がただ一つ定まる」対象。集合圏では非交和ですが、可換環の圏ではテンソル積、群の圏では自由積になるなど、具体的な構成は圏によって劇的に変化します。

92. イコライザー (Equalizer) 集合論では、二つの写像 $f, g$ に対して $f (x) = g (x)$ となる要素全体の部分集合。方程式の解集合に相当する。 【圏論での注意】 二つの並行する射の「差」をなくすような、最も普遍的な射（またはその定義域）のこと。圏論では要素 $x$ を取って等式を確認できないため、「合成すると等しくなるような射の中で、他をすべて分解できるもの」として定義されます。

93. コイコライザー (Coequalizer) 集合論では、写像による同一視を行った商集合に相当する。 $f (x)$ と $g (x)$ を強制的に等しいとみなして貼り合わせる操作。 【圏論での注意】 イコライザーの双対。「関係を商で割る」という操作の一般化です。群の圏においては剰余群の構成などに現れます。幾何学的には、図形の一部を糊付けして新しい図形を作る操作として理解されます。

94. プルバック (Pullback) 「引き戻し」の意。集合論ではファイバー積（共通の行き先を持つ要素の組）のこと。方程式 $f (x) = g (y)$ の解集合 $A \times_{C} B$ 。 【圏論での注意】 直積とイコライザーを組み合わせたような極限。可換図式（四角形）を用いて定義されます。幾何学における「逆像」や、トポロジーにおける「ファイバー束」の構成など、現代数学の至る所で現れる最も重要な概念の一つです。

95. プッシュアウト (Pushout) 「押し出し」の意。集合論では、二つの集合を共通部分（あるいは共通の写像元）で貼り合わせた和集合のこと。 【圏論での注意】 プルバックの双対。二つの対象を、ある関係に沿って接着する操作。代数的トポロジーにおける「ファン・カンペンの定理」など、空間を分解・合成して解析する際に不可欠な道具です。

96. 極限 (Limit) 微積分の極限とは異なり、圏論では直積、イコライザー、プルバックなどの総称。図式（Diagram）に対する「最適な頂点（錐）」のこと。 【圏論での注意】 「錐（Cone）」という概念を用いて定義されます。対象の集まりに対して、それら全てと整合的に繋がる「最も無駄のない」対象のこと。集合論的な「共通部分」や「逆極限」を一般化した概念で、情報を失わずに集約する操作です。

97. 余極限 (Colimit) 直和、コイコライザー、プッシュアウトなどの総称。極限の矢印をすべて逆にした双対概念。 【圏論での注意】 対象の集まりを、ある関係性に従って「貼り合わせる」操作の一般化。集合論的な「和集合」や「順極限（帰納的極限）」を含みます。データの統合や、幾何学的対象の接着など、構成的な操作に対応します。

3. 部分と論理の圏論化

98. 部分対象 (Subobject) 集合論における「部分集合」の一般化。ただし要素を含まないので、包含写像（単射）そのものを部分集合とみなす。 【圏論での注意】 「対象 $A$ への単射の同値類」として定義されます。つまり、包含関係の書き方が違っても、像が同じなら同じ部分対象とみなします。トポス（Topos）理論では、部分集合の概念が論理と直接結びつきます。

99. 特性関数 (Characteristic Function) 集合論では、部分集合 $S$ に入っていれば $1$ 、そうでなければ $0$ を返す関数 $χ_{S} : A \to {0, 1}$ 。 【圏論での注意】 部分対象分類子（Subobject Classifier）という特別な対象 $Ω$ への射として一般化されます。集合圏では $Ω = {0, 1}$ ですが、他の圏では $Ω$ は多値論理や直観主義論理の真理値を持つことがあり、論理構造そのものを決定します。

100. 冪対象 (Power Object) 集合論における冪集合 $P (A)$ の一般化。関数集合 ${0, 1}^{A}$ と同型である性質を利用する。 【圏論での注意】 $P (A) ≅ Ω^{A}$ として定義されます。つまり「 $A$ から真理値対象 $Ω$ への射（特性関数）の全体」を表す対象です。トポスのような「集合論に似た圏」においては存在しますが、一般的な圏（群の圏など）には通常存在しません。

101. 指数対象 (Exponential Object) 集合論における配置集合 $B^{A}$ （ $A$ から $B$ への写像全体）の一般化。カリー化（Currying）によって定義される。 【圏論での注意】 $A \times B \to C$ という射と $A \to C^{B}$ という射が一対一に対応する（随伴）という性質で定義されます。これが存在することは、その圏が「関数空間」を内部に持っていることを意味し、計算機科学（ラムダ計算）との関連が深いです。

102. 真理値対象 (Truth Object) 集合論におけるブール値の集合 ${0, 1}$ （False/True）の一般化。記号 $Ω$ で表されることが多い。 【圏論での注意】 圏の内部論理（Internal Logic）を司る対象。トポスにおいては、この $Ω$ の構造によって、その世界でどのような論理（排中律が成り立つか否かなど）が通用するかが決まります。論理学と幾何学を統一する要石です。

4. 高度な構造とサイズ

103. 函手 (Functor) 集合論における「写像」は集合間の対応だが、函手は「圏と圏の間」の対応。対象を対象へ、射を射へ写し、構造（合成と恒等射）を保つもの。 【圏論での注意】 圏を「対象」と見たときの「射」に相当します。集合論的な操作（冪集合をとる、基本群をとるなど）の多くは函手として記述されます。「図式」もまた、添字圏から対象圏への函手として厳密に定義されます。

104. 自然変換 (Natural Transformation) 二つの函手の間の「移り変わり」を表す射。圏論の創始者アイレンベルグとマックレーンは、これを定義するために圏論を作ったと言われる。 【圏論での注意】 「函手の射」です。要素ごとの変換が、構造全体と整合的（可換）であることを要求します。集合論的には、同型を除いて一意な構成（自然な同型）などを議論する際に本質的となります。

105. 随伴 (Adjoint) 「Ad-joint（隣り合う、結合する）」に由来。二つの函手間の、ある種の緩やかな逆関係。「自由生成」と「忘却」の関係など。 【圏論での注意】 「圏論は随伴の理論である」と言われるほど最重要概念。集合論における直積と指数の関係（カリー化）や、自由群と台集合の関係など、一見異なる分野の普遍的なペア関係を統一的に記述します。

106. 米田の補題 (Yoneda Lemma) 日本の数学者、米田信夫に由来。「対象 $A$ を知ることは、 $A$ への（または $A$ からの）射の集まりを知ることと同値である」という定理。 【圏論での注意】 集合論で言えば「ある要素の特徴は、他のすべての要素との関係性によって完全に決定される」という意味。要素を見ない圏論において、対象を射の集まり（表現可能函手）として埋め込んで解析するための最強のツールです。

107. 完備 (Complete) ラテン語の「completus（満たされた）」に由来。集合論の順序集合では「上限・下限が存在する」ことだが、圏論では「任意の（小さい）極限が存在する」こと。 【圏論での注意】 全ての直積やイコライザーなどが作れる圏のこと。集合圏 Set は完備かつ余完備（Colimitも全てある）です。これにより、無限個の積や極限操作を自由に行える環境が保証されます。

108. 小さい集合 / 圏 (Small Set / Category) 集合論におけるパラドックスを避けるためのサイズ制限。「ある宇宙（Universe）に属する集合」あるいは「クラスではない集合」。 【圏論での注意】 圏論では、対象の集まりが「集合」になるか「クラス」になるかを厳密に区別します。対象の集まりが集合である圏を「小さい圏」と呼びます。自身の全体（圏の圏など）を考える際に、このサイズの違いが致命的に重要になります。

109. 局所的に小さい (Locally Small) 圏全体は大きくても（対象がクラスであっても）、任意の二つの対象間の射の集まり（ホムセット）は常に「集合」におさまる圏のこと。 【圏論での注意】 集合圏 Set や群の圏 Grp など、通常の数学で扱う圏のほとんどは局所的に小さい圏です。これにより、射の集まりに対して集合論の操作（数え上げなど）を適用することが可能になります。

110. トポス (Topos) ギリシャ語の「場所」に由来。集合圏 Set と非常によく似た性質を持つ圏のこと。「一般化された集合論の世界」であり「一般化された位相空間」でもある。 【圏論での注意】 集合論そのものを圏論的に再構築した概念。直観主義論理のモデルになったり、連続体仮説が破れる世界を作ったりと、集合論の公理系（ZFCなど）の代わりとなる強力な枠組みを提供します。ここでは「集合」は「空間上の層（Sheaf）」のように振る舞います。

Quartz 4

Explorer

集合論と圏論の架け橋（３０語）