m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 檜山用メモ そろそろ、メモ編にコソコソ書くことにしたほうが良さそうだけど… 「モノイド圏、豊饒圏、閉圏と内部ホム」と「閉圏、弱いラムダ計算、弱い論理」に少しは関係するから、いちおう本編に。(C, ×, I, σ)を対称モノイド圏とします（σは対称性＝入れ替え）。記号は「×」だけど、必ずしもデカルト積じゃなくてもかまわない。積×に対する指数は[-, -]で表すことにして、Cは閉（closed）で、指数[- , -]が定義可能だと仮定しましょう。この状況で、(C, ×, I, σ, [-, -])の上でラムダ計算がある程度はできるんだけど、そのことを書くのではなくて（ダハハハハハ）、その“弱いラムダ計算”を成… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20070306%2F1173150936" 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> http://www.chimaira.org/img2/lambda-circ.gif Hatena Blog https://hatena.blog 2007-03-06 12:15:36 rich https://m-hiyama.hatenablog.com/entry/20070306/1173150936 1.0 100%