同型射
圏
$ A
の
射
$ f
が
対象
$ a
から
$ b
への
同型射
であるとは、
$ f: a \to b
であり、
$ g: b \to a
という
射
$ g
が存在し、
$ gf = 1_a
かつ
$ fg = 1_b
が成り立つことである。
このときの
$ g
は
$ f
に対して一意であり、
$ f
の
逆射
という。