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.

Created on July 20, 2009 at 20:28:20. See the history of this page for a list of all contributions to it.