Category Theory for Programmers（Bartosz Milewski）。暂无简体中文版。HN 上 51 人推荐。用代码例子讲范畴、函子、自然变换和单子，把范畴论和函数式编程对应起来。