An object within a category which sends out arrows to all other objects in that category, and such that each of these arrows is unique
In the Sets category, the initial object is the empty set, since there exists a unique function, namely the empty function, between the empty set and any other given set.