Euginia Cheng, a category theorist, has written Cakes, Custard and Category Theory: Easy Recipes for Understanding Complex Maths, and How to Bake Pi: An Edible Exploration of the Mathematics of Mathematics.

Indeed, like "Burritos for the Hungry Mathematician" http://emorehouse.web.wesleyan.edu/silliness/burrito_monads....

After the proof that one may substitute slivered almonds for chopped crystalized fruit, I have a lemma that says one may substitute slivered almonds for a subset of the chopped crystalized fruit.