Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun mathematics A
functor thatmaps acategory 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.