Initial Object is Unique

Theorem
Let $\mathbf C$ be a metacategory.

Let $0$ and $0'$ be two initial objects of $\mathbf C$.

Then there is a unique isomorphism $u: 0 \to 0'$.

Hence, initial objects are unique up to unique isomorphism.

Proof
Consider the following commutative diagram:


 * $\begin{xy}

<-4em,0em>*+{0} = "M", <0em,0em> *+{0'}= "N", <0em,-4em>*+{0} = "M2", <4em,-4em>*+{0'}= "N2",

"M";"N" **@{-} ?>*@{>} ?*!/_.6em/{u}, "M";"M2" **@{-} ?>*@{>} ?*!/^.6em/{\operatorname{id}_0}, "N";"M2" **@{-} ?>*@{>} ?*!/_.6em/{v}, "N";"N2" **@{-} ?>*@{>} ?*!/_1em/{\operatorname{id}_{0'}}, "M2";"N2"**@{-} ?>*@{>} ?*!/^.6em/{u}, \end{xy}$

It commutes as each of the morphisms in it originates from an initial object, and hence is unique.

Thus, $v$ is an inverse to $u$, and so $u$ is an isomorphism.

Also see

 * Terminal Object is Unique