同型
圏
$ A
の対象
$ a
と
$ b
が
同型
であるとは、
同型射
$ a \to b
が存在することである。