m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「C-システム、分裂ディスプレイクラス、カートメルツリー」より： ヴォエヴォドスキー〈Vladimir Voevodsky〉は、型理論の理論〈theory of type theories〉の基礎としてカートメル〈John Cartmell〉のコンテキスト圏〈contextual category〉を採用しました。が、呼び名はC-システム〈C-system〉に変更しています。 ヴォエヴォドスキーがコンテキスト圏を「圏」と呼びたくない理由は、おおよそ「あれはホンマモンの圏じゃないからな」ということです。では、ホンマモンの圏〈genuine category〉とは何でしょうか？ プレーンな圏であれ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2024%2F06%2F17%2F160308" 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-06-17 16:03:08 rich https://m-hiyama.hatenablog.com/entry/2024/06/17/160308 1.0 100%