nLab zero function

A zero function is a constant function whose constant value is zero.

Formally, if XX is a set and YY is a pointed set with basepoint 00, then the zero function from XX to YY is

0:XY:t0. 0\colon X \to Y\colon t \mapsto 0 .

If XX is also pointed, then the zero function must preserve basepoints, making this a case of a zero morphism. However, XX need not be pointed for the zero function to make sense.

Last revised on August 28, 2014 at 21:40:57. See the history of this page for a list of all contributions to it.