恒等射
identity
対象$ Aの恒等射を$ \mathrm{id}_Aや$ 1_Aと表記する
自分から自分への射
対象と恒等射は一対一対応している
だから、「対象全体」と「射全体の一部」の間に一対一の対応がある
だから、「対象とは射の特殊ケースだ」とも見れる
$ \mathscr{A}(A,A)の元$ 1_A
プログラミングのid関数