There is also Benjamin Pierce's Basic Category Theory for Computer Scientists: http://mitpress.mit.edu/books/basic-category-theory-computer-scientists http://m

There is also Benjamin Pierce's Basic Category Theory for Computer Scientists: http://mitpress.mit.edu/books/basic-category-theory-computer-scientists http://mitpress.mit.edu/books/basic-category-theory-computer...