Hacker News new | ask | show | jobs
by mypalmike 1452 days ago
I think you need to explain endofunctors.

An endofunctor is the category containing monoids such as the monad.*

*This is probably wrong. Please don't explain.

1 comments

So in all seriousness a functor is a mapping from one category to another, and an endofunctor is a mapping from one category to the same category.