m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 先週の話題を引っぱって、圏のサイズ問題なんですが、圏のサイズを何種類か定義して、それに伴って現れる“圏の圏”に名前を付けておきます。Uがグロタンディーク宇宙である条件に、ω∈U を含めます。ωは自然数の集合Nと同じです。ωは可算無限基数の意味ですが、Nと思ってかまいません。 ロー〈Zhen Lin Low〉に従って、ω∈U を外した場合はプレ宇宙〈pre-universe〉と呼びます（「グロタンディーク宇宙って何なんだ？」参照）。「あなたはこの公理を信じますか」で引用したレヴィ〈Paul Blain Levy〉の論文 "Formulating Categorical Concepts usin… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20180411%2F1523421327" title="圏のサイズとサイズによる“圏の圏”の分類 - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2018-04-11 13:35:27 rich https://m-hiyama.hatenablog.com/entry/20180411/1523421327 1.0 100%