Can confirm that I was bored (no room for a sword-fight!), knew very little category theory, and learned about monads. But at least now I know that while a monad is not like a burrito, a burrito is like a monad.
Rant: Man, I don’t like how unwieldy the categorical definition of a monoid is! So very many functors, transformations, diagrams etc. And they’re not even particularly pleasing diagrams. The type-theoretic definition of a monad, as covered in this lovely n-lab article, felt less awkward to me. But admittedly, learning the categorical definition did help with learning the type-theoretic definition.
Can confirm that I was bored (no room for a sword-fight!), knew very little category theory, and learned about monads. But at least now I know that while a monad is not like a burrito, a burrito is like a monad.
Rant: Man, I don’t like how unwieldy the categorical definition of a monoid is! So very many functors, transformations, diagrams etc. And they’re not even particularly pleasing diagrams. The type-theoretic definition of a monad, as covered in this lovely n-lab article, felt less awkward to me. But admittedly, learning the categorical definition did help with learning the type-theoretic definition.