両モナドと両クライスリ圏の存在がわかったら、課題も大量に出てきたな。 C上の両モナドの圏DiMnd(C)の上に両クライスリ圏バンドルを作り、この圏バンドルを調べる。 両クライスリ圏バンドルの平坦化を調べる。 DiMnd(C)は、DiMon(End(C))のハズ。で、両モノ…

あれっ、dissociativeって解離って意味じゃなくて、 distributive + associative = dis + sociative = dissociative か。分配結合法則＝分合律。

F, Gがモナドのとき、結合FGをモナドにするため、自然変換τ::FG⇒GFが必要だが、この自然変換自体を分配法則（distributive law）と呼ぶ。変な用語法だがそうなっている。これはやっぱり、LMN 80のJ. Beckの論文"Distributive laws" 1969 が源泉らしい。「Bec…

もっとエンタテイメント性があるかと思ったら、辛い、痛い、しんどい映画だったなー。全然元気が出る感じじゃないわ。しかし、ミッキー・ロークってあんな顔だったかぁ？ 探してみると： http://www.youtube.com/watch?v=wRHmXdcA28c おー、これこれ。伊達男…