As a programmer interested in category theory, I found this book a rather good balance between the abstract non-sense of CT and what I might actually use in programming. I wonder if anyone else has good books to recommend? I feel that the contents of the book remains a bit hard to appreciate in full unless you have ran into these concepts previously.
John Baez' recent work on Mathematics of Tuning Systems is such a fun read. I enjoy how he explains ideas so clearly that the general public can understand and appreciate.
As a programmer interested in category theory, I found this book a rather good balance between the abstract non-sense of CT and what I might actually use in programming. I wonder if anyone else has good books to recommend? I feel that the contents of the book remains a bit hard to appreciate in full unless you have ran into these concepts previously.
Not sure of your level, but as a beginner, these two were recommended to me on HN previously:
- https://www.cambridge.org/highereducation/books/conceptual-m...
- https://bartoszmilewski.com/2014/11/04/category-the-essence-... (a blog series on CT specifically for programmers)
F. William Lawvere - Conceptual Mathematics: A First Introduction to Categories
Eugenia Cheng - The Joy of Abstraction: An Exploration of Math, Category Theory, and Life
She builds up to the category theory chapters.
Book club: https://youtube.com/playlist?list=PLhgq-BqyZ7i7tEEQVG5rlOG8y...
Yay, John!
I knew it was going to be Baez just from the title and domain.
John Baez' recent work on Mathematics of Tuning Systems is such a fun read. I enjoy how he explains ideas so clearly that the general public can understand and appreciate.
Applied category theory, like abstract mathematics, lol?
thats an oxymoron