m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 参照用 ハブ記事 モナドの理論を高次圏論を使って定式化すると、だいぶスッキリします。しかし、ベースになる高次圏論の概念・用語・記法が安定してないので、解説を読むのに苦労します。解説の解説（ガイダンス）があるといいような気がするので、ザッと書いてみます。落とし穴を指摘した道案内といったところです。この記事と、あともう一回続きを書く予定です。内容： 最近のモナド論とは モナド論を分類すれば モナド論をホストする圏 参考文献と著者 クリメン／ソリヴェレス 2010 ザワドウスキ 2010 バスケス-マルケス 2015 ブーム 2018 クリメン／ソリヴェレス ザワドウスキ バスケス-マルケス ブーム 続きは 続きの記… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20181226%2F1545810581" title="最近のモナド論の概観と注意事項 1/2 - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2018-12-26 16:49:41 rich https://m-hiyama.hatenablog.com/entry/20181226/1545810581 1.0 100%