nLab
identity functor

The identity functor on a category $C$ is the functor ${\mathrm{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.