5 ms·
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 pro
by Jhsto 3mo ago
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.
- 363849473754 3mo agoF. 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-BqyZ7i7tEEQVG5rlOG8y44aqRaZ3 https://youtube.com/playlist?list=PLhgq-BqyZ7i7tEEQVG5rlOG8y...
- Jhsto 3mo agoThanks for the links! The first book seems very good (I already own the latter).
- 363849473754 3mo agoFor a more advanced book: Category Theory in Context by Emily Riehl
- jhartikainen 3mo agoNot sure of your level, but as a beginner, these two were recommended to me on HN previously: - https://www.cambridge.org/highereducation/books/conceptual-mathematics/00772F4CC3D4268200C5EC86B39D415A#overview https://www.cambridge.org/highereducation/books/conceptual-m... - https://bartoszmilewski.com/2014/11/04/category-the-essence-of-composition/ https://bartoszmilewski.com/2014/11/04/category-the-essence-... (a blog series on CT specifically for programmers)
- Jhsto 3mo agoKiitos! 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!