范畴论基础
Category Theory fundamentals
我正在寻找
关于范畴论的参考资料
- 成熟（== 至少 5 岁）
- 大学教育水平（不是 post-博士，超象征性介绍）
- 从基础开始（阿贝尔群，已知集合论-差不多水平），避免在定义之前引入新术语（反例：维基百科，如果你定义任何东西，你就会明白现在你必须查找单词数量呈指数增长）
- 最好支持完整的概念理解，这对 Haskell 和相应的数学也很有用
我试图解决的问题是：最大限度地利用 Haskell 的范例和特性（而不是盲目地接受这是一个应用程序，那又怎样。）我正在使用（或最终将在自动推理中使用）Haskell。
我把所有这些都明确地放在那里，这样我们就可以避免用
标记
- 主要基于意见（这些是非常明确的标准）
- 产品推荐（因为我要求的是成熟的参考，答案不会很快过时）
我的看法：
Harold Simmons - “范畴论简介”- 剑桥大学出版社，2011 年。是范畴论的良好开端。
^ 这本介绍性的书只有 200 页，但可以满足您的要求。它面向本科生，从基础开始，解释了范畴论的大部分干净数学术语。 200页基本上就形成了这个领域的观点。 （然后再读）。不仅仅是我的话（我写了我自己的 Haskell-Cat 书）：Chris Allen，“Haskell Programming from First Principles”的作者之一，在他的演讲中指出这是一个很好的类别理论学习material他破解了理论。
Bartosz Milewski - “程序员的范畴论”。还有他的公开课。他很了不起，但我认为先简单地读完这200本书会让他material再去学习、理解、评价、记录、记忆。
那么您感兴趣的是：
David I. Spivak - “科学的范畴论” - 麻省理工学院出版社，2014 年。它对理论的讨论较少，但提供了更好的应用示例。斯皮瓦克的名字已经不言自明了，他被称为“应用范畴理论”的家伙。
我觉得先后次序或交叉顺序并不重要，要看一个人的心是怎么运作的，人要往哪条路走。
我正在寻找
关于范畴论的参考资料- 成熟（== 至少 5 岁）
- 大学教育水平（不是 post-博士，超象征性介绍）
- 从基础开始（阿贝尔群，已知集合论-差不多水平），避免在定义之前引入新术语（反例：维基百科，如果你定义任何东西，你就会明白现在你必须查找单词数量呈指数增长）
- 最好支持完整的概念理解，这对 Haskell 和相应的数学也很有用
我试图解决的问题是：最大限度地利用 Haskell 的范例和特性（而不是盲目地接受这是一个应用程序，那又怎样。）我正在使用（或最终将在自动推理中使用）Haskell。
我把所有这些都明确地放在那里，这样我们就可以避免用
标记- 主要基于意见（这些是非常明确的标准）
- 产品推荐（因为我要求的是成熟的参考，答案不会很快过时）
我的看法：
Harold Simmons - “范畴论简介”- 剑桥大学出版社，2011 年。是范畴论的良好开端。
^ 这本介绍性的书只有 200 页，但可以满足您的要求。它面向本科生，从基础开始，解释了范畴论的大部分干净数学术语。 200页基本上就形成了这个领域的观点。 （然后再读）。不仅仅是我的话（我写了我自己的 Haskell-Cat 书）：Chris Allen，“Haskell Programming from First Principles”的作者之一，在他的演讲中指出这是一个很好的类别理论学习material他破解了理论。
Bartosz Milewski - “程序员的范畴论”。还有他的公开课。他很了不起，但我认为先简单地读完这200本书会让他material再去学习、理解、评价、记录、记忆。
那么您感兴趣的是： David I. Spivak - “科学的范畴论” - 麻省理工学院出版社，2014 年。它对理论的讨论较少，但提供了更好的应用示例。斯皮瓦克的名字已经不言自明了，他被称为“应用范畴理论”的家伙。
我觉得先后次序或交叉顺序并不重要，要看一个人的心是怎么运作的，人要往哪条路走。