PS

Identity functor

Identity functor

任意のcategory について functor を以下のように定義する:

(この はobjectまたはmorphismで、まとめて定義した。)

これより簡単なfunctorは無さそうだ。添字の はしばしば省略される。

参考文献