[Jhsto]

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]

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...

[Jhsto]

Thanks for the links! The first book seems very good (I already own the latter).

[363849473754]

For a more advanced book: Category Theory in Context by Emily Riehl

[jhartikainen]

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)

[Jhsto]

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!