自己関手
Endofunctor
圏
$ \mathscr{A}
から同じ圏
$ \mathscr{A}
への
関手
のこと
注意
ある対象がそれ自身へ写されるとは言っていない
mrsekut.icon
これの制限もあるのが
恒等関手
例
Hask圏における関手は全部自己関手