范畴论

范畴论相关的学习入口。

- 视频路线：Bartosz Milewski Category Theory 视频笔记

- 主要书籍：@Category Theory for Programmers

- 基础概念：category、functor、functor category

- 程序设计连接：free monad、F-algebra、cartesian closed category