m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「クリーネ代数の圏化： ちょびっと」で、クリーネ代数を幾つかの方法で圏化／無限タワー化したら面白いかもなー、と書きました。で、圏化のもとになるクリーネ代数ですが、何度も取り上げている割には定義はしたことないですね。定義は「探せばあるだろう」という前提ですが、圏化を見越した定義を改めてしておいたほうがいいかな、と思いました。内容： 何に使えるのか／何に使いたいのか クリーネ代数とは何か 順序構造と最小不動点 クリーネ代数の定義 可換性とベキ等性 コンウェイ半環 何に使えるのか／何に使いたいのか「クリーネ代数〈Kleene algebra〉とは何か」の前に、クリーネ代数は何に使えるのか？ 僕が何に… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20181010%2F1539133652" 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 2018-10-10 10:07:32 rich https://m-hiyama.hatenablog.com/entry/20181010/1539133652 1.0 100%