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