计算机科学的范畴论
Category theory for computing science
Michael Barr · 初版 1990 年
- 7次提及
- 5人推荐
- 7位 HN 评论者
Hacker News 读者推荐
……https://ncatlab.org/nlab/show/relation+between+type+theory+a... 另一种切入角度是用有向完全偏序集来明确程序执行的数学意义，用范畴论的视角来看待它们会很有启发性。我认为对于这个视角，《Category Theory for Computing Science》是最容易入门的起点（https://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf）——将其作为编程的核心抽象。虽然你完全可以脱离它去推导程序和编程……
chas 在 HN 的推荐
我最初是读了巴尔（Barr）和威尔斯（Wells）的《Category Theory for Computing Science》[0]才顿悟开窍的，不过我不清楚你的数学背景如何。范畴论属于代数，所以攻克范畴论之前，最好先去学学基础群论。（我很难想象……
nhamann 在 HN 的推荐
试试迈克尔·巴尔（Michael Barr）和查尔斯·威尔斯（Charles Wells）写的免费在线教材《Category Theory for Computing Science》[1]。这是一本货真价实的教材，配有练习题，干货非常多。[1]: http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf
nwhitehead 在 HN 的推荐
找书
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。