2006-04-28から1日間の記事一覧
ストリング図を使った絵算が少しできるようになった。Beckの分配律の公理に出てくる五角形(つうより5点四角形)2つから、スワップ結合律を示して、結合モナドの結合律が示せる。この程度なら、ストリング図で簡単。で、絵算の計算は何をしているかというと…
絵を描いていて、今さらにわかったのだが、ペースティング図とスタック図の関係をみると、2セルがホモトピーそのもの。高次圏とホモトピー的存在は、単なる類似ではなくて、本質的に同じナニモノカの側面なのだろう。 これはまったくに「今さら」だった。Bae…
composite monadのassociativityをやってみた。 ストリング図のほうが描きやすく、計算しやすい。 コツは、グラフを部屋(chamber)にわけて、部屋の内部を規則でそっくり置き換える。 書き換えるべき部屋と規則を見つけるところが発見的。 分配律のBeck公理…