20/04/23 23:40:00 /do61ABJ.net
>>294-296 <まとめ>
(>>294)
>Recall that a (Grothendieck) universe V is a set satisfying the following axioms [cf.[McLn], p. 194]:
これは、明らかに
(>>295)
>圏論
>大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。
(>>296)
>グロタンディーク宇宙の2つの簡単な例がある:
これは、明らかに、上記IUT IVの”a (Grothendieck) universe V”とは異なる
つまり、異なるグロタンディーク宇宙が存在し、IUT IVの”a (Grothendieck) universe V”は、[McLn]を参照していることから
上記 圏論の”大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である”ですね