News for hackers. Stuff that matters.
Re:Category Theory, Syntactically (2016) by Xophmeister on Thursday April 27, 2017 @07:04AM (#14210592)
More recipe books should be written by mathematicians ;)
Re:Category Theory, Syntactically (2016) by 1001101 on Thursday April 27, 2017 @09:31AM (#14211298)
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.
Re:Category Theory, Syntactically (2016) by seanmcdirmid on Thursday April 27, 2017 @09:57AM (#14211458)
Re:Category Theory, Syntactically (2016) by andrzejsz on Thursday April 27, 2017 @02:57PM (#14213860)
This first title disappeared in favor of the second that is "How to bake Pi" I guess pure marketing move
Re:Category Theory, Syntactically (2016) by danidiaz on Thursday April 27, 2017 @05:03PM (#14214688)
Indeed, like "Burritos for the Hungry Mathematician" http://emorehouse.web.wesleyan.edu/silliness/burrito_monads....
Re:Category Theory, Syntactically (2016) by gumby on Thursday April 27, 2017 @11:48AM (#14212373)
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.