identity functor

The **identity functor** on a category $C$ is the functor $id_C: C \to C$ that maps each object and morphism of $C$ 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)