generated at
自己関手
Endofunctor
\mathscr{A}から同じ圏\mathscr{A}への関手のこと

注意
ある対象がそれ自身へ写されるとは言っていないmrsekut
これの制限もあるのが恒等関手

Hask圏における関手は全部自己関手