つづき

https://m-hiyama.ｈａtenablog.com/entry/20180406/1522992414
あなたはこの公理を信じますか
檜山正幸のキマイラ飼育記 (はてなBlog)
2018/04/06 — ここから先のVは、ZFC+UまたはZFC+MUの宇宙とします。つまり、V内にグロタンディーク宇宙Uを取れます。通常の構成や議論はUのなかで行います。必要があれ ...

https://oroshi.me/2022/12/presheaf_is_topos
ガットですりおろされたい大根のブログ
前層の圏がトポスであることの証明
oroshi.me
2022/12/01 — が成り立ちます (証明は別記事「米田埋め込みは連続である」)。 D o ... グロタンディーク宇宙とは集合論の操作で閉じた集合のことである 70件の ...
(引用終り)
以上