F-代数の圏
ある圏
$ \mathscr{A}
とその上の自己関手
$ F
に対して
対象は↑これ上の全ての
F-代数
射は
F-代数準同型