范畴论导论
An introduction to category theory
Harold Simmons · 初版 2011 年
2人推荐
2位读者提及
2次提及
“正如封面所示，本书是对范畴论的入门介绍。它给出了基本定义，逐一讲解了函子、自然变换、极限与余极限等各种相关工具，随后阐释了伴随。这些内容本可在 50 页左右展开，但本书用了约 220 页。这是因为书中包含大量示例来说明各种概念，有些相当直白，另一些则内容更丰富。更重要的是，书中还有 200 多道习题”——
Hacker News 上怎么说
正在加载完整评论……
……编程语言，我一直在业余时间研究类型理论、编译器、编程语言、范畴论、拓扑斯和证明方面的书（B. Pierce 的 TAPL 和 Software Foundations，Harold Simmons 的《范畴论导论》（Introduction to Category Theory），关于 DOT/scala 的论文）。我想走 PLT 这条路，但我缺乏大学能教给我的形式化训练。另一方面，我不想在一所新大学重新开始……
…of programming languages and I've been studying on the side books about type theory, compilers, programming languages, category theory, topos and proofs (TAPL and Software foundations form B. Pierce, Introduction to category theory by Harold Simmons, papers on DOT/scala) I would like to pursue this route into PLT but I lack the formalism that a university can teach me. On the other hand, I don't want to start again in a new university…
……Szekeres 那本抽象数学入门……涵盖面很广，写得很清楚，结构也很好。集合、群、向量空间、张量、拓扑、微分几何、李群等等。《An Introduction to Category Theory》，Harold Simmons 著。读起来很享受。拿它当这个领域的第一本书绝对错不了。
…Szekeres My intro to abstract math... Wide range of topics, very clearly written and very well structured. Sets, groups, vector spaces, tensors, topology, differential geometry, lie groups and more. An Introduction to Category Theory by Harold Simmons Very enjoyable read. You cannot go wrong with this as your first book on the subject.