Bartosz Milewski 的“程序员的范畴论”非官方 PDF 和 LaTeX 源代码
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source