>>865
そうですよね、レスありがとうございます。
関数型言語haskellを学んでいるうちに圏論を一度やっておいた方がいいかもと思って
手を出したはいいものの、馴染みの薄い言葉が多くて参ってました。
ttp://db.ewi.utwente.nl/Publications/PaperStore/db-utwente-0000003696.pdf
haskellやっている人向けに圏論とモナドを解説したpdfがあったので読んでいたのですが、
出てくる証明で使われている等式よりも自分で可換図式をつなげていく方が簡単に理解できました。
とりあえずMonad<T,η,μ>からKleisli triple<T,μ,*>を導くことができました。
あとは逆を導いて二つが等価になることを示した後、Mogi89の論文でも読もうかと思います。

まあ、haskellを使うときにモナドを理解する必要は無い、というのが今の段階での結論ですが。