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.