定義
G をグラフ（>>634）とする。
1_Ob(G)：Ob(G) → Ob(G) と 1_Hom(G)：Hom(G) → Hom(G) をそれぞれ恒等写像とする。
このとき (1_Ob(G)、1_Hom(G))：G → G は射（>>639）である。
これを G の恒等射または単位射と呼び 1_G と書く。