nLab
identity functor

Contents

Context

Category theory

Equality and Equivalence

Contents

Idea

The identity functor on a category CC is the functor id C:CCid_C: C \to C that maps each object and morphism of CC to itself. The identity functors are the identities for composition of functors in Cat.

Last revised on November 23, 2018 at 04:34:16. See the history of this page for a list of all contributions to it.