基础范畴论
Basic Category Theory
Tom Leinster · 初版 2014 年
7人推荐
10位读者提及
10次提及
为什么值得读
- 比同类数学教材门槛更低更亲民
- 对概念产生的底层动机给出了极佳解释
- 适合作为建立数学成熟度的起点教材
“这部关于category theory的简明导论，其核心是universal property这一贯穿整个数学的重要概念。在首章给出基本定义之后，分章解释了表达universal property的三种方式：通过adjoint functors、representable functors以及limits。最后一章则将这三者融会贯通。”——出版商提供
Hacker News 上怎么说
正在加载完整评论……
…从 Haskell 和 C++ 编程视角来看范畴论：https://bartoszmilewski.com/2014/10/28/category-theory-for-p... 但我读过的范畴论入门书里写得最好的是 Leinster 的《基础范畴论》（Basic Category Theory）：https://arxiv.org/abs/1612.09375 你可能也猜到了，我非常赞同你的说法！
…theory from the perspective of Haskell and C++ programming: https://bartoszmilewski.com/2014/10/28/category-theory-for-p... But the best introduction to category theory I have read is Leinster's book, 'Basic Category Theory': https://arxiv.org/abs/1612.09375 And as you might have guessed, I do agree with your statement!
…数学专业的本科生，我最喜欢的书是 Emily Riehl 的《Context 中的范畴论》（Category Theory in Context）[1]（书名里的“Context”指的是数学背景）。如果你数学底子没那么深，我推荐 Tom Leinster 的《基础范畴论》（Basic Category Theory）[2] 或者 Steve Awodey 的《范畴论》（Category Theory）[3]（尤其是你有计算机科学或编程背景的话）。[1] https://math.jhu.edu/~eriehl/context.pdf [2] https://www.maths.ed.ac.uk/~tl/bct/
…degree in math, my favorite book is Emily Riehl's Category Theory in Context [1] (the "context" in the title refers to a background in math). If you don't know that much math, I'd recommend Tom Leinster's Basic Category Theory [2] or Steve Awodey's Category Theory [3] (particularly if you have some background in computer science or programming). [1] https://math.jhu.edu/~eriehl/context.pdf [2] https://www.maths.ed.ac.uk/~tl/bct/
…纯小白就先看 Epp 的书，再拿 Rosen 的书当补充。如果你是数学系高年级本科生但没接触过范畴论，那就看：https://math.jhu.edu/~eriehl/context.pdf 或者 Tom Leinster 的《基础范畴论》（虽然我下面还会列一大堆资源，但我可能会先推荐 Leinster，顺便积累足够的数学成熟度去啃下它）。我也挺喜欢这篇：https://arxiv.org/pdf/1912.10642.pdf…
…the complete beginner go with epp and then use rosen as a supplement. if you are an advanced undergraduate in math but don’t know category theory then: https://math.jhu.edu/~eriehl/context.pdf or Basic Category Theory by Tom Leinster (even though i’ll list a bunch more resources below i’d probably start with leinster and work up enough math maturity to push through it.) i also liked this: https://arxiv.org/pdf/1912.10642.pdf…
赞同你对研究所和 Spivak 的看法。但 CWM（工作数学家用的范畴论）嘛，呃，是给真正的数学家看的。Leinster 的《基础范畴论》或者 Awodey 的《范畴论》就平易近人多了。
Agreed on the institute and Spivak. But CWM is, er, for working mathematicians. Leinster's Basic Category Theory, or Awodey Category theory are more unassuming.
如果你想用一种更正统的方式学习范畴论，很多人都推荐 Tom Leinster 的《基础范畴论》，这本书是免费的[1]。我打算很快开始刷这本书，但我大概翻了翻的那部分感觉非常不错，虽然比正文（TFA）这些内容更偏“纯数学”一点。而且在我看来，它在阐释…的合理性方面也做得更好。
If you want to learn category theory in a way that is more orthodox, a lot of people recommend Tom Leinster’s Basic Category Theory, which is free[1]. I’m going to be working through it soon, but the bit I’ve skimmed through looks really good if more “mathsy” than things like TFA. It also does a better job (imo) of justifying the…
…我觉得相当于剑桥大学数学硕士（Part III）那个24讲的《范畴论导论》课一学期的量吧。（来源：我去年上过那门课，当时还参加了一个自学 Leinster《基础范畴论》的小读书会。我们觉得那本书真的太太太有用了。）
…lectures' worth of the MMath-level 24-lecture Part III Introduction to Category Theory at Cambridge, I believe. (Source: I took that course last year, and was part of a small reading group studying Leinster's Basic Category Theory at that time. We found that book really, really helpful.)