[rohanshah]

This is a great series. I also highly recommend Benjamin Pierce's book "Basic Category Theory for Computer Scientists" if you are interested in this

http://mitpress.mit.edu/books/basic-category-theory-computer...

[draven]

How accessible is the book (the google preview on that page does not help assessing how complex the text is) ? I guess it's better to start with "Types and programming languages" by the same author ? I don't have a formal education in these topics.