I am self-taught, and the way category theory has been popularized in more than just mathematics has resulted in so many papers that it is hard to keep up. I am skimming a book called 'Category Theory for Scientists' at the moment.
I was first turned on to logic by Raymond Smullyan's books for laymen, but I have since bought his more academic books; I have not made it through them yet.
Now I look for these concepts in my tools too. That is why I chose Extempore, being Lisp/scheme-based, and I have looked into Haskell-based tools like Euterpea for music, and just today Hylogen for livecoding shaders in Haskell. Elm is also cool for front end development.
I was first turned on to logic by Raymond Smullyan's books for laymen, but I have since bought his more academic books; I have not made it through them yet.
Now I look for these concepts in my tools too. That is why I chose Extempore, being Lisp/scheme-based, and I have looked into Haskell-based tools like Euterpea for music, and just today Hylogen for livecoding shaders in Haskell. Elm is also cool for front end development.
> ruler and a compass to draw stickmen.
I am stealing that one!