It is not necessary for a functor to have an adjoint to canonically associate a monad to it. The codensity monad of a functor $F$ (if it exists) is the right Kan extension of $F$ along itself.

Revision on October 19, 2018 at 08:32:33 by Todd Trimble?. See the history of this page for a list of all contributions to it.