F-代数の圏の始対象

任意のF-代数への準同型が一意に定まる特別なF-代数(I, i)のこと

始対象のF-代数版

Iは関手Fの最小不動点になる(?) ref

F-始代数のF-代数準同型がCatamorphism

圏\mathscr{A}、自己関手FにおけるF-代数を見てる

(I,i),(A,\alpha)などはF-代数なので、 (対象,射) の組