余代数 - mrsekut-p

余代数

https://techblog.asahi-net.co.jp/entry/2022/03/14/143648

余代数はいわゆるシステムを数学的な視点から適切な粒度で抽象化したもの

Introduction to Coalgebra. Towards Mathematics of States and Observations

http://www.cs.ru.nl/B.Jacobs/CLG/JacobsCoalgebraIntro.pdf

https://zenn.dev/yvvakimoto/articles/c3b558551fd51a

A Tutorial on (Co)Algebras and (Co)Induction

展開(unfold)の一般化

https://www.schoolofhaskell.com/user/tel/algebras-coalgebras

https://qiita.com/yasuabe2613/items/3875a40dc2a5a49a308f

https://cronokirby.com/posts/2020/12/fold-unfold-algebra-coalgebra/

https://techblog.asahi-net.co.jp/entry/2022/03/14/143648

http://titech-ssr.blog.jp/archives/1047835805.html