F-代数の圏
これは一般的な用語なのかな
#??
ある圏
$ \mathscr{A}
とその上の自己関手
$ F
に対して
対象は↑これ上の全ての
F-代数
射は
F-代数準同型