# Empty Set is Initial Object

## Theorem

Let $\mathbf{Set}$ be the category of sets.

Then the empty set $\O$ is an initial object of $\mathbf{Set}$.

## Proof

Follows from Empty Mapping is Unique and the definition of initial object.

$\blacksquare$