http://ziphil.com/diary/application/26.html を読んでるとき，まとめたことを記事として残しておこうと思った．

参考文献は，

Barr, M. (1992). Algebraically compact functors. Journal of Pure …

graded monad から monad への埋め込みについて，考えたので，その覚書．

graded monad について聞きかじって，色々調べたのでそのメモ． graded monad はエフェクトシステムの categorical semantics 作るときに使われてるらしい．エフェクトシステ …