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 20:28:20 by Toby Bartels (71.104.230.172)