Trivial Group is Initial Object

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

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

Then $\left\{{e}\right\}$ is an initial object of $\mathbf{Grp}$.