nLab
identity monad

Given a category $C$, the identity monad on $C$ is simply the identity functor on $C$, made into a monad in a rather trivial way.