Let be a Category.
An Object is initial if there is exactly one Morphism for any
Lemma
If and are initial, there is a unique Isomorphism between them.
Proof
There’s a unique and a unique
But and are also unique so
and
and thus is the unique Isomorphism.