集合の圏
数学の一分野である圏論において、集合の圏（しゅうごうのけん、テンプレート:Lang-en-short）Set (あるいは などとも書く) は、その対象の成す類が集合全体の成す類であるような圏である。ただし、対象の間の射の類は、集合 テンプレート:Mvar に対して テンプレート:Math を任意の写像とするとき、テンプレート:Math の形に書ける三つ組全体の成す集合によって与えられる。
- 対象の類: テンプレート:Math,
- 射の集合: テンプレート:Math,
- 射の合成: テンプレート:Math の合成 テンプレート:Math は写像の合成
他に多くのテンプレート:仮リンクと呼ばれる圏（例えば 群の圏（対象は群で、射は群準同型）など）は、集合の圏の対象に構造を加えたものを対象とし、射は特定の種類の写像に制限したものを考えることによって与えられる。
集合の圏の性質
- 集合の圏 テンプレート:Math におけるエピ射（圏論的全射、全型射）は上への写像（集合論的全射、全写像）であり、モノ射（圏論的単射、単型射）は一対一（集合論的単射、単写像）である。また同型射は集合論的双射（全単射）で与えられる。
- 集合の圏 テンプレート:Math における始対象は空集合（に空写像をその唯一の射と考えたもの）で与えられ、終対象は任意の単集合（で、始域のすべての元をその唯一の元に写す写像を射としたもの）で与えられる。ゆえに集合の圏 Set において零対象は存在しない。
- 集合の圏 テンプレート:Math は完備かつ余完備である。Set における積（圏論的直積）は集合のデカルト積（集合論的直積）で与えられ、余積（圏論的直和）は非交和（集合論的直和）で与えられる。
- 集合の圏 テンプレート:Math はテンプレート:仮リンクの原型であり、圏が具体的 (concrete) であるとは適当な意味において テンプレート:Math 「のように」扱えることを意味している。
- 任意の二元集合が テンプレート:Math のテンプレート:仮リンクとなる。集合 テンプレート:Mvar の（トポスの意味での）冪対象は テンプレート:Mvar の冪集合 テンプレート:Math で与えられ、集合 テンプレート:Mvar の指数対象は テンプレート:Mvar から テンプレート:Mvar への写像全体の成す集合（配置集合）テンプレート:Mvar で与えられる。すなわち テンプレート:Math はトポス（特にデカルト閉）である。
- 集合の圏 テンプレート:Math はアーベルでも加法的でも前加法的でもない。 右零射は空写像 テンプレート:Math で与えられる[1]。
- テンプレート:Math の始対象でない任意の対象は入射的かつ（選択公理を仮定すれば）射影的である。
圏論の基礎付け
テンプレート:仮リンク (ZF) において、集合全ての集まりは集合でない（これは基礎の公理から従う）。集合でない集まりのことを真の類と呼ぶが、真の類は集合を扱うようには扱えず、特にそれら真の類は（集合あるいは真の類の何れの意味でも）集まりに属するものと書けない。これは問題である、というのもこのような設定の下では集合の圏を直接的に定式化することができないことを意味するからである。
そのような問題を解決する一つの方法は、正しく真の類を扱うことのできる体系（例えばテンプレート:仮リンク）の中で議論することである。この設定において、集合から構成される圏は小さいといい、集合の圏 テンプレート:Math のように真の類を成すような圏は大きいと言う。
別な解決法としてはグロタンディエック宇宙の存在を仮定することが挙げられる。厳密さをさておけば、グロタンディエック宇宙とはそれ自身が ZF(C) のモデルとなるような集合をいう（例えば、ある集合が一つの宇宙に属するならば、その任意の元も同じ宇宙に属し、あるいはその冪集合もまた同じ宇宙に属する）。グロタンディエック宇宙の存在性は（空集合の存在および遺伝的有限集合全体の成す集合 テンプレート:Mvar の存在を除いて）通常の ZF の公理系からは導かれない。すなわちグロタンディエック宇宙の存在は追加の独立な公理であって、おおまかには強到達不能基数と同値である。この追加の公理を仮定するならば、集合の圏 テンプレート:Math の対象は特定の宇宙に属するものだけに制限して考えることができるようになる（注意すべきは、このモデル内に「集合全ての成す集合」は存在しないが、宇宙 テンプレート:Mvar の元として「内部集合」を考えるならば、内部集合すべての成す類 テンプレート:Mvar はきちんと意味を成すことである）。
同様の方法論の一種に、集合全ての類はグロタンディエック宇宙全体の成す塔 (entire tower) の合併に等しいとするものがある（この合併は真の類でなければならないが、各グロタンディエック宇宙は集合である。実際、それはより大きなグロタンディエック宇宙に属する元になっている）が、これは「集合全体の成す圏」を直接的には扱えない。それでも、議論に現れる各定理を、十分大きなグロタンディエック宇宙 テンプレート:Mvar に属する元を対象とする圏 テンプレート:Math の言葉で表して、それらが特定の テンプレート:Mvar の取り方に依存しないことを言えば十分である。圏論の基礎として、このやり方は真の類を直接に意味づけることのできないテンプレート:仮リンクのような体系とはよく馴染む。このような場合の主な欠点は、ある定理が テンプレート:Math では真だが テンプレート:Math の定理としては真でないことが起こり得ることである。
他の解決法やうえで述べた方法の変種も様々に提案されている[2][3][4]。
同じ問題はほかの具体圏、例えば群の圏や位相空間の圏などでも生じる。
関連項目
注
- ↑ Section I.7 of テンプレート:Harvnb
- ↑ Mac Lane 1969
- ↑ Feferman 1969
- ↑ Blass 1984
参考文献
- Blass, A. The interaction between category theory and set theory. Contemporary Mathematics 30 (1984).
- Feferman, S. Set-theoretical foundations of category theory. Springer Lect. Notes Math. 106 (1969): 201–247.
- Lawvere, F.W. An elementary theory of the category of sets (long version) with commentary
- Mac Lane, S. One universe as a foundation for category theory. Springer Lect. Notes Math. 106 (1969): 192–200.
- テンプレート:Cite book (Volume 5 in the series Graduate Texts in Mathematics)
- テンプレート:Citation