m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「マイクロコスモ原理とクリーネ構造」の続きの話。ほんのちょびっと分かったこと。内容： 圏化の多様性 狭義の圏化と亜化〈oidification〉 クリーネ代数の場合は 圏化の多様性前の記事に書いたように、僕は、クリーネ代数に関して「なんか違う」「なんか足りない」という感じをいだいてました。今思えば、それは「クリーネ代数を圏化〈categorify〉せねば」という感覚だったのかも知れません。トレース付きデカルト圏は、クリーネ代数の圏化と捉えることができます。クリーネ代数より強力で使いやすいです。で、それで「めでたし、めでたし」なのかと言うと、そうでもないのです。クリーネ代数の圏化がトレース付きデ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20181009%2F1539060292" 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> https://chart.apis.google.com/chart?cht=tx&chl=%5Cstackrel%7B%5Csim%7D%7B%3D%7D Hatena Blog https://hatena.blog 2018-10-09 13:44:52 rich https://m-hiyama.hatenablog.com/entry/20181009/1539060292 1.0 100%