nLab
identity monad

Given a category CC, the identity monad on CC is simply the identity functor on CC, 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.