Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License

  • n. A functor that maps a category to itself

Etymologies

from Wiktionary, Creative Commons Attribution/Share-Alike License

endo- +‎ functor

Examples

  • Next we're going to go looking for monoids in this "endofunctor" category using our above definitions.

    Planet Haskell

  • This is the "endofunctor" category over Hask, and these arrows are natural transformations.

    Planet Haskell

  • Thus equipped, "Maybe" can be seen as a monoid in the endofunctor category over Hask.

    Planet Haskell

  • And that, of course, is what a monad is - a monad over a category 'C' is a (categorical) monoid in the endofunctor category over 'C'.

    Planet Haskell

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.