Definition:Unique up to Isomorphism

Definition
Let $\mathbf C$ be a category.

Let $S \subseteq \map {\operatorname {Ob} } {\mathbf C}$ be a subclass of its objects.

The class $S$ is unique up to isomorphism for all objects $s, t \in S$ there is a isomorphism from $s$ to $t$.

Stronger properties

 * Definition:Unique up to Unique Isomorphism


 * Definition:Unique up to Unique Morphism, as shown at Unique up to Unique Morphism implies Unique up to Unique Isomorphism