m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 ここ最近、グロタンディーク宇宙の話をしています。 贅沢主義者のグロタンディーク宇宙 (7月20日) 型・インスタンス・宇宙とタルスキ宇宙系列 (7月22日) 贅沢なグロタンディーク宇宙とPropositions-As-Types (7月24日) ZF宇宙、グロタンディーク宇宙、型宇宙 (7月27日) 今日もグロタンディーク宇宙の話です。通常のグロタンディーク宇宙は、ZF集合論における普通の集合 $`U`$ です。が、$`U`$ のなかでZF集合論ができる集合です。$`U`$ のなかに閉じ込められても、通常の集合論的な構成はなに不自由なく出来ます。「なに不自由なく集合論が出来る」ことがグロタンデ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2024%2F08%2F01%2F194723" 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 2024-08-01 19:47:23 rich https://m-hiyama.hatenablog.com/entry/2024/08/01/194723 1.0 100%