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 ufo
0 subcomment
The part in the beginning about Galois Connections is very worth learning. It has countless applications.
by not_a_bot_4sho
2 subcomments
Yay, John!
by pishpash
0 subcomment
Applied category theory, like abstract mathematics, lol?