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.
Kiitos! My level is graduate, but part of the challenge with category theory is that some of the terms are quite unsuggestive. I feel that after seeing enough examples, I can start making more sense what some concept would be in Finnish, which helps me remember what was what and what it might relate to.
Edit: Also realized you're in Oulu, feel free to email me if you'd be up to meeting in-person to discuss these further!
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)
Kiitos! My level is graduate, but part of the challenge with category theory is that some of the terms are quite unsuggestive. I feel that after seeing enough examples, I can start making more sense what some concept would be in Finnish, which helps me remember what was what and what it might relate to.
Edit: Also realized you're in Oulu, feel free to email me if you'd be up to meeting in-person to discuss these further!
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...
Thanks for the links! The first book seems very good (I already own the latter).
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