Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • noun mathematics A functor that maps a category to itself

Etymologies

from Wiktionary, Creative Commons Attribution/Share-Alike License

endo- +‎ functor

Support

Help support Wordnik (and make this page ad-free) by adopting the word endofunctor.

Examples

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

    Planet Haskell 2009

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

    Planet Haskell 2009

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

    Planet Haskell 2009

  • 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 2009

Comments

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