generated at
2/21/2025, 8:06:03 PM
自己関手
Endofunctor
圏
\mathscr{A}
から同じ圏
\mathscr{A}
への
関手
のこと
注意
ある対象がそれ自身へ写されるとは言っていない
これの制限もあるのが
恒等関手
例
Hask圏における関手は全部自己関手