Post #3167087

Category Theory is cool and if only because you can abbreviate it as "Cat Theory". Started re-reading "Category Theory for the Sciences" by David Spivak with a friend. Read the foreword for the first time and immediately got this nice quote from it: “when we formalize our ideas, our understanding is clarified. [...] And if we are ever to get to the point that we can input our ideas into computers, we will need to formalize these ideas first.” Very much what I experienced dabbling in Haskell-Code and the reason why that felt very much elevating. If you know him on mastodon, please drop me a pointer. (Best in the way of "Hi, I'm David, glad you like my books", because I own two of them and cherish them both. (Just found a missing closing-bracket in section reference. I'd like to improve the second edition, but that is such an unimportant mistake. I both hope and not hope to find some mistake important enough to write an email.)) ) [Here I added an extra bracket for you to take, should you become aware of this text.]