定義
A と B をグラフ（>>634）とする。
f：A → B を射（>>639）とする。
gf = 1_A（>>641）、fg = 1_B となる射 g：B → A を f の逆射と言う。
逆射を持つ射を同型射と言う。
同型射 f：A → B があるとき A と B は同型であると言う。