F-代数
F-algebra
双対
は
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