自己関手 - pogi-log

自己関手

自己関手(じこかんしゅ、endofunctor)

圏$ \mathcal{ C} から同じ圏$ \mathcal{C} への関手は、自己関手

$ F : \mathcal{C} \to \mathcal{C}

自分自身に戻ってくるような関手

code:mermaid

flowchart TD

subgraph C

*

end

C -->|<br><br>F| C

対象、射もすべて同じものに戻るような関手は恒等関手(identity functor)？

自己関手 ≠ 恒等関手

参考

/mrsekut-p/自己関手

関連

自己関手の圏におけるモノイド対象