enakai00 https://blog.hatena.ne.jp/enakai00/ めもめも https://enakai00.hatenablog.com/ 圏論の歩き方作者: 圏論の歩き方委員会出版社/メーカー: 日本評論社発売日: 2015/09/09メディア: 単行本この商品を含むブログを見るオフィスの机の上に新たな挑戦状（上記の本）が置いてあったので読んでみると、Kleisli tripleとMonadの関係が説明されていて、「そういえば、Kleisli tripleとMonadの同値性って、ちゃんと証明したことなかったなー」と思って書き始めたのがこのエントリーです。いったい何の寝言を言ってるのかと思われそうですが・・・HaskellのMonadを圏論の言葉に置き換えて理解する際に、圏論における「Kleisli triple」に対応させる方… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fenakai00.hatenablog.com%2Fentry%2F2015%2F10%2F06%2F130113" title="HeskellのMonadを圏論のMonad/Kleisli Tripleと対比する - めもめも" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://ecx.images-amazon.com/images/I/61VKEfafaTL.jpg Hatena Blog https://hatena.blog 2015-10-06 13:01:13 rich https://enakai00.hatenablog.com/entry/2015/10/06/130113 1.0 100%