Initial

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.