Initial Object is Unique

From ProofWiki
Jump to navigation Jump to search


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.


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