我正在寻找有关范畴理论的参考资料
- 是成熟的(==至少5岁)
- 大学教育水平(非博士后，超象征性介绍)
- 从基础开始(阿贝尔群，已知集合理论-类似水平)，在定义它们之前避免引入新术语(反例:维基百科，如果你接受任何定义，你会明白现在你必须查找指数级增长的单词)
- 最好支持完整的概念理解，这对Haskell和相应的数学都很有用
我要解决的问题是:最大限度地利用Haskell的范例和特性(而不是盲目地接受这是一个应用程序，那又怎样。)我正在使用(或最终将使用)Haskell进行自动推理。
我把这些都明确地放在那里，这样我们就可以避免用
标记- 主要基于意见(这些是非常明确的标准)
- 产品推荐(因为我要求的是成熟的参考资料，答案不会很快过时)
我的观点:
哈罗德·西蒙斯-"范畴论导论";——剑桥大学出版社，2011。是范畴论的良好开端。
^这本介绍性的书只有200页，但是可以满足你的要求。它的目标是本科生，从基础开始，并解释了范畴理论的大多数干净的数学术语。200页基本上形成了对这个领域的看法。(然后再读一遍)。不仅仅是我说的(我自己写了Haskell- cat的书):《Haskell Programming from First principles》的作者之一Chris Allen在他的演讲中指出，这是一本很好的范畴论学习材料，他破解了这个理论。
Bartosz milwski -"程序员的范畴理论"。还有他的公开讲座。他很了不起，但我认为先简单地浏览一下这200本书会使他的材料更好，学习、理解、评价、记录、记忆也会更好。
那么你感兴趣的是:大卫·斯皮瓦克《科学范畴论》——麻省理工学院出版社，2014年。它较少讨论理论，但给出了更好的应用实例。斯皮瓦克的名字已经不言自明了，他被称为"应用范畴论"。人。
我认为它们的顺序或交叉排序并不重要，这取决于一个人的思想如何运作以及这个人的生活方式。