4 ms·
> A monad is just a monoid in the category of endofunctors By the way, this (and similar) definitions are fun but not very useful (because nobody thinks in ter
by Koshkin 5y ago
> A monad is just a monoid in the category of endofunctors
By the way, this (and similar) definitions are fun but not very useful (because nobody thinks in terms of the category of endofunctors).
- pjc50 5y agoYes, that's the joke, it's from http://james-iry.blogspot.com/2009/05/brief-incomplete-and-mostly-wrong.html http://james-iry.blogspot.com/2009/05/brief-incomplete-and-m... - but the joke is that advanced users of any concept have a tendency to explain it in terms of concepts that the audience also doesn't understand.