Trivial Group is Initial Object

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

Let $1 = \set e$ be the trivial group.

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

Proof
Let $\struct {G, \circ}$ be a group with identity $e_G$.

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


 * $\map \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}$.