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.

Created on July 20, 2009 20:28:20 by Toby Bartels (71.104.230.172)