1. 5

  2. 1

    I love this for the abstract alone, if nothing else:

    It has been recently remarked by Yorgey [9] that a burrito can be regarded as an instance of a universally-understood concept, namely, that of monad. It is this characterization that we intend to explicate here. To wit, a burrito is just a strong monad in the symmetric monoidal category of food, what’s the problem?