m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「クリーニ代数と圏論」の続きっぽい話。昨日よりさらに思いつくまま。トレース付き圏とクリーネ代数復習： 零対象と双積を持っていて、ベキ等律 Δ;∇ = id が成立し、双積に関してトレースを持つ圏Cがあれば、各エンドセットC(A, A)にクリーネ代数の構造を入れることができます。今言った条件を満たす圏になにか名前があればいいのですが、合意された名前はないようです。「クリーネ圏」という言葉はあるのですが、この条件とは違う、つうか人によって違った意味で使っていたりして安定した用語法じゃないみたい。「圏全体の構造→エンドセットの代数構造」の逆向きも言えます。つまり、エンドセットの代数構造から圏の構造を… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20140415%2F1397556245" 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 2014-04-15 19:04:05 rich https://m-hiyama.hatenablog.com/entry/20140415/1397556245 1.0 100%