始代数と終余代数が一致する条件

Posted on 月 16 12月 2019 in 数学 • Tagged with 圏論, cpo, F-algebra

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

参考文献は,

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

Continue reading

graded monad から monad への埋め込み

Posted on 木 13 6月 2019 in 数学 • Tagged with エフェクトシステム, モナド, 圏論

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

エフェクトシステムを monad で近似する

エフェクトシステムに …


Continue reading

Graded Monad とエフェクト

Posted on 木 06 6月 2019 in 数学 • Tagged with 圏論, エフェクトシステム, モナド, プログラム意味論

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


Continue reading