20/01/09 00:03:36.69 vBuB/FcU.net
>>176
望月先生が、IUTその4の”species”で、何を言わんとしているのかなー？
下記の「圏論の基礎付け」みたいな、言い訳なのかな～？（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
集合の圏
(抜粋)
圏論の基礎付け
ツェルメロ?フレンケル集合論（英語版） (ZF) において、集合全ての集まりは集合でない（これは基礎の公理から従う）。集合でない集まりのことを真の類と呼ぶが、真の類は集合を扱うようには扱えず、特にそれら真の類は（集合あるいは真の類の何れの意味でも）集まりに属するものと書けない。
これは問題である、というのもこのような設定の下では集合の圏を直接的に定式化することができないことを意味するからである。
そのような問題を解決する一つの方法は、正しく真の類を扱うことのできる体系（例えばNBG集合論（英語版））の中で議論することである。この設定において、集合から構成される圏は小さいといい、集合の圏 Set のように真の類を成すような圏は大きいと言う。
別な解決法としてはグロタンディエック宇宙の存在を仮定することが挙げられる。厳密さをさておけば、グロタンディエック宇宙とはそれ自身が ZF(C) のモデルとなるような集合をいう（例えば、ある集合が一つの宇宙に属するならば、その任意の元も同じ宇宙に属し、あるいはその冪集合もまた同じ宇宙に属する）。
グロタンディエック宇宙の存在性は（空集合の存在および遺伝的有限集合全体の成す集合 Vω の存在を除いて）通常の ZF の公理系からは導かれない。
すなわちグロタンディエック宇宙の存在は追加の独立な公理であって、おおまかには強到達不能基数と同値である。
この追加の公理を仮定するならば、集合の圏 Set の対象は特定の宇宙に属するものだけに制限して考えることができるようになる（注意すべきは、このモデル内に「集合全ての成す集合」は存在しないが、宇宙 U の元として「内部集合」を考えるならば、内部集合すべての成す類 U はきちんと意味を成すことである）。
つづく