In category theory, an object "0" is an initial object if for every object A, there is exactly one morphism from 0 to A.
In the category of sets and functions, the empty set is an initial object (and the only one.) The morphism in this case is the empty function.
In a partially ordered set, considered as a category, the minimum (if it exists) is an initial object.