7/3/2026 at 11:32:47 PM
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.by Jhsto
7/4/2026 at 12:41:35 AM
F. William Lawvere - Conceptual Mathematics: A First Introduction to CategoriesEugenia 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...
by 363849473754
7/4/2026 at 10:49:05 AM
Thanks for the links! The first book seems very good (I already own the latter).by Jhsto
7/4/2026 at 11:18:29 AM
For a more advanced book: Category Theory in Context by Emily Riehlby 363849473754
7/4/2026 at 9:00:25 AM
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)
by jhartikainen
7/4/2026 at 10:59:09 AM
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!
by Jhsto