Remix.run Logo
Jhsto 2 hours 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 an hour ago | parent [-]

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