F-代数
F-algebra
双対
は
F-余代数
とある
組
(対象, 射)
のこと
https://gyazo.com/0dfd9514c293b27ee46da0246a0345f2
赤丸の中身の組
$ (A,\alpha)
や
$ (B,\beta)
が、自己関手
$ F
の
F-代数
定義
圏
$ \mathscr{A}
とその上の
自己関手
$ F:\mathscr{A}\to\mathscr{A}
に対し、
$ \mathscr{A}
の対象
$ A
と、射
$ \alpha:F(A)\to A
との組
$ (A,\alpha)
のことを言う
関連
F-代数準同型
F-始代数
参考
F代数 - Wikipedia
https://qiita.com/karrym/items/62c46a2c7640912a1a28