Spahn
codensity monad (Rev #1, changes)

Showing changes from revision #0 to #1: Added | Removed | Changed

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

References

  • Tom Leinster,
    • where do monads come from?, post to the nacfé, web
    • codensity and the ultrafilter monad, arXiv:1209.3606

Revision on December 27, 2012 at 05:04:10 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.