identity functor

Let \(\mathcal{C}\) be a category, then the identity functor is defined as

\begin{align*} \mathrm{id}_{\mathcal{C}}: A \mapsto& A \\ g \mapsto& g \end{align*}