PS

Identity functor

定義 Functor

Identity functor

任意のcategory $\mathcal{C}$ について functor $\text{1}_{\mathcal{C}} \text { : } \mathcal{C} \rightarrow \mathcal{C}$ を以下のように定義する:

$\text{1}_{\mathcal{C}}(x) = x$

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

これより簡単なfunctorは無さそうだ。添字の $\mathcal{C}$ はしばしば省略される。

参考文献

isbn:0521283043