initial object

In the category of sets, the initial object is the empty set, since there exists a unique function, namely the empty function, from the empty set into any other given set.