Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source - View it on GitHub