identity function



Given a set SS, the identity function on SS is the function id S:SSid_S\colon S \to S that maps any element xx of SS to itself:

id S=(xx)=λx.x; id_S = (x \mapsto x) = \lambda x.\; x ;

or equivalently,

id S(x)=x. id_S(x) = x .

The identity functions are the identity morphisms in the category Set of sets.

More generally, in any concrete category, the identity morphism of each object is given by the identity function on its underlying set.

Last revised on April 19, 2018 at 02:45:49. See the history of this page for a list of all contributions to it.