Definition:Identity Functor

Definition
Let $\mathbf C$ be a metacategory.

The identity functor on $\mathbf C$ is the functor $1_{\mathbf C}: \mathbf C \to \mathbf C$ defined by:


 * For all objects $C$ of $\mathbf C$: $\hskip{2.9cm} 1_{\mathbf C} C := C$
 * For all morphisms $f: C_1 \to C_2$ of $\mathbf C$: $\quad 1_{\mathbf C} f := f$

That $1_{\mathbf C}$ constitutes a functor is shown on Identity Functor is Functor.