nLab
empty function

Conents

Conents

Definition

Given a set XX, the empty function to XX is the function to XX from the empty set. This always exists and is unique; in other words, the empty set is an initial object in the category of sets.

Properties

The empty function to the empty set is not a constant function.

Last revised on October 4, 2019 at 04:50:51. See the history of this page for a list of all contributions to it.