Basic category theory for computer scientists
了解 Benjamin C. Pierce 的《Basic category theory for computer scientists》（Basic category theory for computer scientists）：2007-02-22–2026-11-01 的 Hacker News 数据中有 16 次提及、14 位讨论者。阅读原文摘录、比较不同观点，将它加入你的书单。
分享到 X社区里的声音
最近 16 条来源记录提及不等于推荐。标签来自源数据的自动分类；请打开原始讨论核对上下文。
此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文…, see below, also wrote several books on types in programming languages) and offers a different representation of computational flow (monads, arrows). Benjamin Pierce's "Basic Category Theory for Computer Scientists" (not online) is terse and complete [1]. Wikipedia is good for definitions and there's also a Wikibook on category theory: http://en.wikibooks.org/wiki/Category_theory There are some brief, informative, and fun lectures on YouTube by the Catsters: http://www.youtube.com/profile_play_list?user=TheCatsters The natural transformations playlist is where to start, just be ready to use the aforementioned references. __ [1] Natural transformations are the original point of category theory. A text that doesn't cover them is incomplete.
在 Hacker News 阅读原文…ician by Saunders Maclane. It is an excellent book, but I must also warn that it is not an easy book and probably requires a fair bit on mathematical maturity. Second is Basic Category Theory for Computer Scientists by Benjamin Pierce. It is much more of an introductory book and provides many examples in Computer Science which are useful to those doing theoretical CS.
在 Hacker News 阅读原文