エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
わーい、モナドのインデックス付き圏が作れる - 檜山正幸のキマイラ飼育記 (はてなBlog)
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
わーい、モナドのインデックス付き圏が作れる - 檜山正幸のキマイラ飼育記 (はてなBlog)
じっさまが「わーい」とか喜ぶのもどうかと思いますが、「作れたらいいな」と思っていたモナドのインデ... じっさまが「わーい」とか喜ぶのもどうかと思いますが、「作れたらいいな」と思っていたモナドのインデックス付き圏は作れそうです。わーい。 「なんだかわかんねーなー」と愚痴みたいなことをブログに書いて何の役に立つ?と思いきや、「またインデックス付き圏が出てきたけど、これはどうなっている?」にksさんからコメントをいただき、さらに次の論文もご紹介いただきました。 Descent for Monads http://www.tac.mta.ca/tac/volumes/16/24/16-24abs.html アブストラクトと「1. Introduction」の半分くらいを眺めて、第5章「5. Endofunctors and Monads」をザッとチェックしてみました。僕が「成り立っているとウレシイ」と期待していた結果は第5章の前半に書いてあります。ベースの圏に若干の条件は付きますが、圏と随伴対の圏