5 ms·
A monad is just a monoid in the category of endofunctors, what's the problem?
by skocznymroczny 7y ago
A monad is just a monoid in the category of endofunctors, what's the problem?
- erichocean 7y agoThis will never get old...
- Jestar342 7y agoI wish I knew enough to appreciate this joke.
- NullPrefix 7y agohttp://james-iry.blogspot.com/2009/05/brief-incomplete-and-mostly-wrong.html http://james-iry.blogspot.com/2009/05/brief-incomplete-and-m...
- KineticLensman 7y ago> 1957 - John Backus and IBM create FORTRAN. There's nothing funny about IBM or FORTRAN. It is a syntax error to write FORTRAN while not wearing a blue tie. Not the same joke, but really rather awesome.
- pcstl 7y agoYou really don't need to know more than "it's technically true, but also completely useless for anything practical".
- non-entity 7y agoI'm still a bit starstruck by mildly comical terms like zygohistomorphic prepromorphism
- lgas 7y agoIf it helps, a category is just a monad in the bicategory of spans.
- endgame 7y agoOnly if you choose the right tensor product for your monoidal category of endofunctors. But seriously, nobody says this in earnest and posting it doesn't help the discourse.
- dgellow 7y agoI believe that was the joke.