作用付き両クライスリ圏の行列計算
改行を「/」で表して行列を書くことにする。
W(f) = [1, 0 / f, f+1] がラッピング対応になる。反図式順クライスリ結合を g%f とすると、g%f = g + gf + f となる。gf はgとfの反図式順結合。次が成立する。
- W(g%f) = W(g)・W(f)
普通に計算すれば出る。
このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。
今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。
改行を「/」で表して行列を書くことにする。
W(f) = [1, 0 / f, f+1] がラッピング対応になる。反図式順クライスリ結合を g%f とすると、g%f = g + gf + f となる。gf はgとfの反図式順結合。次が成立する。
普通に計算すれば出る。