nLab
identity functor

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.

Revised on May 8, 2009 03:33:34 by Toby Bartels (71.104.234.95)