Trivial Group is Initial Object

Theorem
Let $\mathbf{Grp}$ be the category of groups.

Let $1 = \left\{{e}\right\}$ be the trivial group.

Then $1$ is an initial object of $\mathbf{Grp}$.

Proof
Let $\left({G, \circ}\right)$ be a group with identity $e_G$.

By Group Homomorphism Preserves Identity, any hypothetical group homomorphism $\phi: 1 \to G$ must satisfy:


 * $\phi (e) = e_G$

Let us define the mapping $\phi$ in this way.

By Equality of Mappings, only one such mapping $1 \to G$ can exist, establishing uniqueness.

Now to verify that $\phi$ is actually a group homomorphism.

Since $1$ has only the element $e$, this is verified by:

where we used $*$ to denote the group operation on $1$.

Thus $\phi$ is a group homomorphism.

We have thus established that there is a unique morphism $1 \to G$ in $\mathbf{Grp}$ for all $G$.

That is, $1$ is an initial object in $\mathbf{Grp}$.