“Category Theory for Programmers” is a series of blogs on category theory by Bartosz Milewski, and now it has been compiled with LaTeX on pdf for convenience.
Latest version now includes properly typeset mathematics.
Latest version now includes properly typeset mathematics.