同态，但"不是"每个双同态都是同构。例如，交换环的范畴中，包含映射Z → Q是一个双同态，但不是一个同构。如果在一个范畴中每个双同态都是同构，则这个范畴称为一个平衡范畴。例如，集合是一个平衡范畴。
例子.更多的例子参看范畴论条目。