问题描述
我正在寻找关于范畴论的参考文献
- 成熟（== 至少 5 岁）
- 处于大学教育水平（不是博士后，超象征性的介绍）
- 从基础开始（阿贝尔群，已知集合论 - 相似水平），避免在定义之前引入新术语（反例：维基百科，如果你采取任何定义，你就会明白现在你必须以指数方式查找增加字数）
- 最好支持对 Haskell 和相应数学也有用的完整概念理解
我试图解决的问题是：最大限度地使用 Haskell 的范式和特性（而不是盲目地接受这是例如 applicative，那又怎样。）我正在使用（或最终将使用）Haskell 自动化推理。
我把所有这些都明确地放在那里，这样我们就可以避免标记
- 主要基于意见（这些是非常明确的标准）
- 产品推荐（因为我要求的是成熟的参考，答案不会很快过时）
解决方法
我的看法：
Harold Simmons -“范畴论简介” - 剑桥大学出版社，2011 年。是范畴论的良好开端。
^ 这本介绍性书籍只有 200 页，但可以满足您的要求。它针对本科生，从基础开始，解释了范畴论的大部分干净数学术语。 200页基本上就形成了现场视图。 （然后再读一遍）。不只是我说的（我自己写的 Haskell-Cat 书）：《Haskell Programming from First Principles》的作者之一 Chris Allen 在他的演讲中指出，这是一本很好的范畴论学习材料，他破解了理论通过。
Bartosz Milewski - “程序员的类别理论”。还有他的公开课。他很了不起，但我认为先简单地通读 200 本书会使他的材料和学习、理解、评估等记录下来，记住得更好。
那么你感兴趣的是： David I. Spivak - “Category Theory for the Sciences” - 麻省理工学院出版社，2014 年。它较少谈论理论，但提供了更好的应用示例。 Spivak 的名字已经不言而喻，他被称为“应用范畴论”家伙。
我认为它们的顺序或交叉顺序并不重要，这取决于一个人的思想如何运作以及这个人要居住的道路。