m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 プログラミング言語や型理論の文脈で、空リストの型つけ〈タイピング〉が話題になることがあります。集合論と圏論で解釈してみると、結果が違ってきます。発想が違うので結果がズレるのは驚くことではありませんが、意外に思う人もいるかも知れません。内容： はじめに 圏のホムセットは交わらない 写像集合とは リストの定義 空リストの型 はじめにここで言う集合論は、ガチの公理的集合論ではなくて、公理的集合論寄りの素朴集合論です。よく知られた集合論的概念は普通に使っていいとします。集合圏 は、普通の集合論に基づいて考えます。集合圏の対象の集まり は「すべての集合の集まり〈類〉」です。集合圏のホムセット は、「集合… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2021%2F10%2F19%2F104100" 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 2021-10-19 10:41:00 rich https://m-hiyama.hatenablog.com/entry/2021/10/19/104100 1.0 100%