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...
http://mitpress.mit.edu/books/basic-category-theory-computer...