News for hackers. Stuff that matters.

A comment on A monad is a monoid in the category of endofunctors, what’s the problem?. Parent comment

Re:A monad is a monoid in the category of endofunctors, what... by throwawaymath on Sunday February 10, 2019 @11:13AM (#19128335)
True, but that likeness is normally taught in abstract algebra without requiring category theory. For example this: https://i.redd.it/yqnbigi032i11.png doesn’t require any category to understand.
[ Parent | on HN ]
Re:A monad is a monoid in the category of endofunctors, what... by nerdponx on Sunday February 10, 2019 @12:39PM (#19128856)
Not my point.

For education, there is a happy medium between providing theoretical context and hand-waving over technicalities and learning by example.

Very nice diagram though.

[ Parent | on HN ]
Re:A monad is a monoid in the category of endofunctors, what... by throwawaymath on Sunday February 10, 2019 @12:54PM (#19128962)
To give credit where it's due, that diagram is from a /r/math thread: https://www.reddit.com/r/math/comments/99y547/my_digram_of_a...
[ Parent | on HN ]
Re:A monad is a monoid in the category of endofunctors, what... by mlevental on Sunday February 10, 2019 @11:20AM (#19128369)
that's definitely a neat diagram but the examples (the blue) almost entail already know the definitively.
[ Parent | on HN ]