I'd add to that a complementary text by Barr and Wells: Category Theory for Computing Science (Revised 2013) http://www.math.mcgill.ca/triples/Barr-Wells-ctc

I'd add to that a complementary text by Barr and Wells: Category Theory for Computing Science (Revised 2013) http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf