m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 5日前の記事「自然演繹はちっとも自然じゃない -- 圏論による再考」において、次のように書きました。 自然演繹に対する再考は出来たと思います。でも、再構築には至っていません。 ...[snip]... いずれ別記事としてストリング図と多圏を準備した上で、自然演繹の再構築ができたらいいな、と思っています。 目論見としては出来ると思ってます。が、実際に遂行する気力が続くか？ はまた別な問題です。自然演繹の再構築に何が必要かは見当がついているので、それについて書いておきます。まず、セマンティクスとしては多圏（polycategory）を使いたい -- 長年、言及するだけで定義も構成も不十分という状態… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20160719%2F1468890273" 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 2016-07-19 10:04:33 rich https://m-hiyama.hatenablog.com/entry/20160719/1468890273 1.0 100%