違いを除いて
圏論では対象の関係性が問題にされ、一般には二つの対象が同一であることを示すことは必ずしも必要でないし、望めないことも多い(本当に同一であることを課す厳密圏という概念もある)。よって、積や始対象のように圏論で重要な概念は、それが二つ存在すればそれらは同型、言い換えると「同型を除いて一意に存在する」と表現できることが多い。