范畴理论基础
范畴理论基础
提问于 2021-01-29 11:41:43
我在寻找关于范畴理论的参考资料
维基百科( introductions)
- start )是成熟的(至少有5岁)，在大学教育水平上(不是博士后，超象征性的words)
- preferably从基础(阿贝尔集团，集合论-相似水平)和避免引入新的术语之前定义(反例:维基百科，就像你采取任何定义，你会明白，现在你必须查找一个指数增长的words)
- preferably支持全面的概念理解，这对哈斯克尔和相应的数学以及
都是有用的。)
我想解决的问题是:最大限度地利用Haskell的范例和特性(而不是盲目地接受这是一个应用程序，那又怎样？)我正在使用(或最终将使用) Haskell进行自动推理。
我把所有这些都显式地放在那里，这样我们就可以避免
主要基于意见(这些是非常明确的criteria)
- Product建议(因为我要求成熟的引用，答案不会很快过时)
回答 1
Stack Overflow用户
回答已采纳
发布于 2021-01-30 11:09:12
我的意见是：
哈罗德·西蒙斯-“类别理论导论”-剑桥大学出版社，2011年。是分类理论的一个良好开端。
这本入门书只有200页，但满足了你的要求。它以本科生为对象，从基础开始，并解释了分类理论中清洁数学的大部分术语。200页基本上形成了字段的视图。(然后再读)。不仅仅是我的话(我自己写了Haskell-Cat的书)：Chris，"Haskell编程从首要原则“的作者之一，在他的演讲中指出，这是一个很好的分类理论学习材料，他破解了这个理论。
Bartosz Milewski --“程序员的范畴理论”。还有他的公开演讲。他是了不起的，但我认为，首先阅读200本书，会使他的材料更好地学习、理解、评估和记录，更好地记住。
那么你感兴趣的是: David I. Spivak --“科学分类理论”--麻省理工学院出版社，2014年。它对理论的讨论较少，但给出了更好的应用实例。斯皮瓦克的名字已经自言自语了，他被称为“应用范畴理论”的家伙。
我认为它们的顺序或交叉顺序并不重要，这取决于一个人的心智如何运作，以及一个人去居住的道路。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/65953779
复制相关文章
相似问题
腾讯云开发者
