Riehl's "Category Theory in Context" is great. It's one of those books where every page really takes a couple hours to fully absorb. It pairs well with Milewski's "Category Theory for Programmers" [1] series, which is comparatively lighter and gives some concrete examples.
Comments
Riehl's "Category Theory in Context" is great. It's one of those books where every page really takes a couple hours to fully absorb. It pairs well with Milewski's "Category Theory for Programmers" [1] series, which is comparatively lighter and gives some concrete examples.
[1] https://bartoszmilewski.com/2014/10/28/category-theory-for-p...
Yeah, I watched his video series on Youtube a couple years ago and really enjoyed them. Definitely a good introduction to the topic.