Company:@datavant
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source