始代数
initial algebra
#??
始代数
と
F-始代数
は同じ？
違う
参考
始代数 - Wikipedia
https://mizunashi-mana.github.io/blog/posts/2019/12/algebraic-compact-functor/
https://ncatlab.org/nlab/show/initial+algebra+of+an+endofunctor
http://ziphil.com/diary/application/23.html
http://ziphil.com/diary/application/23.html