m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 以前、セミナーでの説明のために、「大きなラムダ式／小さなラムダ式」という記法を使いました。その後も使ってますが、けっこう具合がいいです。紹介しておきます。大きなラムダ式は圏の射をそのまま表し、小さなラムダ式は指数対象への射を表します。次の推論図風の図式がカリー化を表します。カリー化は、大きなラムダ式から小さなラムダ式への変換になります。 <x∈X, y∈Y | M > -------------------- Λ <x∈X | λy∈Y.M > モノイド閉圏におけるカリー化(C, □, I) がモノイド圏とします。□がモノイド積ですが、対称性を仮定しません。つまり、X□Y と Y□X を関係付… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20111109%2F1320828317" 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 2011-11-09 17:45:17 rich https://m-hiyama.hatenablog.com/entry/20111109/1320828317 1.0 100%