集合の圏

数学の一分野である圏論において、集合の圏（しゅうごうのけん、）Set (あるいはなどとも書く) は、その対象の成す類が集合全体の成す類であるような圏である。ただし、対象の間の射の類は、集合に対してを任意の写像とするとき、の形に書ける三つ組全体の成す集合によって与えられる。対象の類: , 射の集合: , 射の合成: の合成は写像の合成

他に多くのと呼ばれる圏（例えば群の圏（対象は群で、射は群準同型）など）は、集合の圏の対象に構造を加えたものを対象とし、射は特定の種類の写像に制限したものを考えることによって与えられる。

集合の圏の性質集合の圏におけるエピ射（圏論的全射、全型射）は上への写像（集合論的全射、全写像）であり、モノ射（圏論的単射、単型射）は一対一（集合論的単射、単写像）である。また同型射は集合論的双射（全単射）で与えられる。集合の圏における始対象は空集合（に空写像をその唯一の射と考えたもの）で与えられ、終対象は任意の単集合（で、始域のすべての元をその唯一の元に写す写像を射としたもの）で与えられる。ゆえに集合の圏 Set において零対象は存在しない。集合の圏は完備かつ余完備である。Set における積（圏論的直積）は集合のデカルト積（集合論的直積）で与えられ、余積（圏論的直和）は非交和（集合論的直和）で与えられる。集合の圏はの原型であり、圏が具体的 (concrete) であるとは適当な意味において「のように」扱えることを意味している。任意の二元集合がのとなる。集合の（トポスの意味での）冪対象はの冪集合で与えられ、集合の指数対象はからへの写像全体の成す集合（配置集合）で与えられる。すなわちはトポス（特にデカルト閉）である。集合の圏はアーベルでも加法的でも前加法的でもない。右零射は空写像で与えられるSection I.7 of 。の始対象でない任意の対象は入射的かつ（選択公理を仮定すれば）射影的である。

圏論の基礎付け (ZF) において、集合全ての集まりは集合でない（これは基礎の公理から従う）。集合でない集まりのことを真の類と呼ぶが、真の類は集合を扱うようには扱えず、特にそれら真の類は（集合あるいは真の類の何れの意味でも）集まりに属するものと書けない。これは問題である、というのもこのような設定の下では集合の圏を直接的に定式化することができないことを意味するからである。

そのような問題を解決する一つの方法は、正しく真の類を扱うことのできる体系（例えばNBG集合論）の中で議論することである。この設定において、集合から構成される圏は小さいといい、集合の圏のように真の類を成すような圏は大きいと言う。

別な解決法としてはグロタンディエック宇宙の存在を仮定することが挙げられる。厳密さをさておけば、グロタンディエック宇宙とはそれ自身が ZF(C) のモデルとなるような集合をいう（例えば、ある集合が一つの宇宙に属するならば、その任意の元も同じ宇宙に属し、あるいはその冪集合もまた同じ宇宙に属する）。グロタンディエック宇宙の存在性は（空集合の存在および遺伝的有限集合全体の成す集合の存在を除いて）通常の ZF の公理系からは導かれない。すなわちグロタンディエック宇宙の存在は追加の独立な公理であって、おおまかには強到達不能基数と同値である。この追加の公理を仮定するならば、集合の圏の対象は特定の宇宙に属するものだけに制限して考えることができるようになる（注意すべきは、このモデル内に「集合全ての成す集合」は存在しないが、宇宙の元として「内部集合」を考えるならば、内部集合すべての成す類はきちんと意味を成すことである）。

同様の方法論の一種に、集合全ての類はグロタンディエック宇宙全体の成す塔 (entire tower) の合併に等しいとするものがある（この合併は真の類でなければならないが、各グロタンディエック宇宙は集合である。実際、それはより大きなグロタンディエック宇宙に属する元になっている）が、これは「集合全体の成す圏」を直接的には扱えない。それでも、議論に現れる各定理を、十分大きなグロタンディエック宇宙に属する元を対象とする圏の言葉で表して、それらが特定のの取り方に依存しないことを言えば十分である。圏論の基礎として、このやり方は真の類を直接に意味づけることのできないのような体系とはよく馴染む。このような場合の主な欠点は、ある定理がでは真だがの定理としては真でないことが起こり得ることである。

他の解決法やうえで述べた方法の変種も様々に提案されているMac Lane 1969Feferman 1969Blass 1984。

同じ問題はほかの具体圏、例えば群の圏や位相空間の圏などでも生じる。

Źródło i licencja