3 ms·
Hitler: What's a monad anyway? No one who understands monads can explain what they are Underling (hurriedly): A monad is just a monoid in the category of en
by infogulch 6y ago
Hitler: What's a monad anyway? No one who understands monads can explain what they are
Underling (hurriedly): A monad is just a monoid in the category of endofunctors
This caused me to choke on my coffee.
- sloucher 6y agoYou just made those words up right now!
- Koshkin 6y ago> A monad is just a monoid in the category of endofunctors A helpful analogy can be drawn by comparing two facts: a composition of something with its inverse produces the identity (a.k.a. unity, to use the Latin root), while a composition of something (e.g. a functor) with its "adjoint" (not quite the inverse) produces something similar that is better said in Greek.
- infogulch 6y agoAnd thus, another cycle is completed.