対象Aの恒等射を\mathrm{id}_Aや1_Aと表記する

自分から自分への射

対象と恒等射は一対一対応している

だから、「対象全体」と「射全体の一部」の間に一対一の対応がある

だから、「対象とは射の特殊ケースだ」とも見れる

\mathscr{A}(A,A)の元1_A

プログラミングのid関数