F-始代数
F-initial algebra
F-代数の圏の始対象のこと
つまり、任意のF-代数へのF-代数準同型が一意に定まる特別なF-代数$ (\mu F, \mathsf{in}F)のこと
つまり、任意のF-代数 $ (X,\varphi)に対して以下の可換図式が成り立つ
https://gyazo.com/489455ee9e256edcc26c10467564647e
また、この$ fのことをCatamorphismと呼ぶ
$ \mu Fは関手$ Fの最小不動点になる
$ \mu F \cong F(\mu F)
ref Lembekの定理
F-始代数の可換図式とFixF型の対応