20/04/24 07:17:49 9m+2fnQ5.net
>>297 訂正
分かり難いので書き直す
(訂正版)
>>294-296 <まとめ>
(>>294)
>Recall that a (Grothendieck) universe V is a set satisfying the following axioms [cf.[McLn], p. 194]:
下記の「グロタンディーク宇宙」は、明らかに 上記” (Grothendieck) universe V”と同じ
(>>295)
>圏論
>大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。
下記の「グロタンディーク宇宙の2つの簡単な例」は、明らかに上記の” (Grothendieck) universe V”=(圏論)「グロタンディーク宇宙」とは異なる
(>>296)
>グロタンディーク宇宙の2つの簡単な例がある:
つまり、Wikipedia には、異なるグロタンディーク宇宙の定義が存在し、一方 IUT IVの”a (Grothendieck) universe V”は、[McLn](McLnは、有名なS. MacLane氏の論文)を参照している
繰返すが、IUT IVの”a (Grothendieck) universe V”は、上記 圏論の”大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である”ですね
(終り)