undefined | Better HN

0 pointsmypalmike3y ago0 comments

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.

0 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.

j / k navigate · click thread line to collapse

0 pointsmypalmike3y ago0 comments

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.

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.

j / k navigate · click thread line to collapse