m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ プログラム意味論 高次圏論 マンダラ マンダラ0は、Mandと書こう。いちいち0は要らないだろう、しばらくは0だからな。まずは、Aを入力仕様、Bを出力仕様、Pを内部仕様とする遷移変換系（トランスデューサ）の圏をMand(A, B; P)と書くことにする。Mand(A, B; P)は3項のホムセットの形をしているが、実際にこれはホム二重圏になっている。Mandは、トレース付き半環二重圏で豊饒化された圏（疑圏かな）という、とんでもない構造を持っている（と思われる）。Mand(A, B; P)とMand(B, C; Q)の対象は結合可能で、Mand(A, C; P×Q)の対象を与える。が、この定義は当然にとても複雑だ。マンダラだからなー… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20100708%2F1278550332" title="マンダラ0の表記 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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 2010-07-08 09:52:12 rich https://m-hiyama-memo.hatenablog.jp/entry/20100708/1278550332 1.0 100%