我为什么学习范畴论

范畴论是对程序员产生奇怪影响的数学领域。关于范畴论可以肯定地说的一件事是它是高度抽象的，它与软件工程的关系不是很明显。我认为自己在软件工程方面更偏向于实用主义，那么 为什么我要在函数式编程普及的少数概念之外开始学习范畴论呢？特别是，我一直在关注 麻省理工学院 18.S097：使用类别编程 ，阅读 Bartosz Milewski 的《面向程序员 》等几本书 的类别理论》以及 Steve Awodey 的《类别理论》 和 《组合性七大草图 。我要感谢参加我们范畴论阅读小组的 Recurs 同事，因为我不会像现在这样享受乐趣。