https://bartoszmilewski.com/2014/10/28/category-theory-for-p...
Other people can debate category theory's utility: I have no expert insight of my own to lend.
https://bartoszmilewski.com/2014/10/28/category-theory-for-p...
Other people can debate category theory's utility: I have no expert insight of my own to lend.
I'm interested in learning about category theory in general just to get a feel for the subject, but I also want to have a better concrete understanding of the category theory that is put to use in Haskell.
Category Theory for Programmers is just that, for programmers. In fact, if I recall correctly its preface explicitly answers the question 'Why write this when Category Theory by Steve Awodey exists?', with the answer being what I summarise above. If you're a computer scientist, programmer, or otherwise a non-mathematician first, Awodey is not for you and this book I believe should serve you very well instead. I haven't read it, mind.
I haven't come across Seven Sketches in Compositionality, but hopefully that helps compare the other two. It's mostly about your intention (e.g. theoretical mathematics vs practical application) and background.
"Programming with Categories" [0] is probably the best resource to start, the course notes are great and the videos are easy to follow.
Also yes, Awodey is much more in-depth and technical.