F-始代数
F-initial algebra
F-代数の圏
の
始対象
任意の
F-代数
への
準同型
が一意に定まる特別な
F-代数
$ (I, i)
のこと
始対象
の
F-代数
版
$ I
は関手
$ F
の
最小不動点
になる(?)
ref
F-始代数
の
F-代数準同型
が
Catamorphism
https://gyazo.com/bd00a3ae2b868c66a9bb6d92555a4d8f
圏
$ \mathscr{A}
、自己関手
$ F
における
F-代数
を見てる
$ (I,i),(A,\alpha)
などは
F-代数
なので、
(対象,射)
の組
Lembekの定理
http://ziphil.com/diary/application/26.html