m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 zipと言っても、圧縮＆アーカイブのツールではありません。リスト処理の話です。ファスナーをしめる操作を連想させるのでzipと呼ぶのでしょう。今ここでは、「あのzipです」という以上の説明はしません。あのzipを型付けすると、自然変換だと解釈できます。二項関手のあいだの自然変換なので、モナド（の台関手）などとは違った雰囲気のものです。集合圏の小さい部分圏Cを固定して、ここを舞台に考えます。C内で直積や直和は自由に作れるとします。もうひとつの圏Dがあるとして、F:D→C が関手のとき、Fの対象部分（object part）をF0、射部分（morphism part）をF1とします。さらに、射部分は… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20130702%2F1372741579" title="zipが自然変換だという話 - 檜山正幸のキマイラ飼育記 (はてな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 2013-07-02 14:06:19 rich https://m-hiyama.hatenablog.com/entry/20130702/1372741579 1.0 100%