计算机科学家基础范畴论

Hacker News 上怎么说

• adamnemecek · 2017 年

  …https://www.amazon.com/Hands-Machine-Learning-Scikit-Learn-T... 还没正式出版，但我一直在读草稿，这是一本很不错的机器学习入门书，用的是现代 ML 框架 TensorFlow 和 Scikit-Learn。# Basic Category Theory for Computer Scientists https://www.amazon.com/gp/product/0262660717/ref=as_li_ss_tl... 这本书还没看完，但尽管年代有点久，如果你只是为了 CS 目的去学范畴论，它绝对是公认的最佳入门书，因为…

  …https://www.amazon.com/Hands-Machine-Learning-Scikit-Learn-T... Not released yet but I've been reading the drafts and it's a nice intro to machine learning using modern ML frameworks, TensorFlow and Scikit-Learn. # Basic Category Theory for Computer Scientists https://www.amazon.com/gp/product/0262660717/ref=as_li_ss_tl... Not done with the book but despite it's age, hands down best intro to category theory if you care about it only for CS purposes as it…

• eindiran · 2020 年

  如果你有 CS 背景，并且想深入了解一点范畴论，我推荐看看 Benjamin Pierce 的《Basic Category Theory for Computer Scientists》。这是一本很棒、很简练的入门书，探讨了它在 CS 中的几个非常有趣的实际应用。https://www.goodreads.com/book/show/1810837.Basic_Category_T...

  If you have a CS background and are looking to dig in to category theory a bit more, I would recommend checking out Benjamin Pierce's Basic Category Theory for Computer Scientists. It's a nice, concise introduction to the topic that examines a few very interesting applications to CS. https://www.goodreads.com/book/show/1810837.Basic_Category_T...

• iratsu · 2008 年

  …Saunders Maclane 写的《Categories for the Working Mathematician》。那是一本极好的书，但我必须提醒的是，它一点都不简单，可能需要相当程度的数学成熟度。第二本是 Benjamin Pierce 的《Basic Category Theory for Computer Scientists》。它要平易近人得多，是一本入门书，提供了许多计算机科学中的例子，对做理论 CS 的人很有用。

  …Theory for the Working Mathematician 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.

• ekidd · 2010 年

  …范畴论在纯数学中的许多应用都有类似的特质——把定理从数学的一个分支“走私”到另一个分支。（一个相当不错的范畴论入门书是《Basic Category Theory for Computer Scientists》[2]，不过可能还有更好的。）[1] http://www.inf.uni-konstanz.de/dbis/publications/download/TG... [2] http://www.amazon.com/Category-Computer-Scientists-Foundatio...

  …many of the purely mathematical uses of category theory have a similar quality—smuggling theorems from one branch of mathematics to another. (One pretty reasonable introduction to category theory is "Basic Category Theory for Computer Scientists"[2], but there may be something better.) [1] http://www.inf.uni-konstanz.de/dbis/publications/download/TG... [2] http://www.amazon.com/Category-Computer-Scientists-Foundatio...

• sb · 2010 年

  因为到目前为止还没人提过，下面这两本里的一本或许会派上用场：- Benjamin C. Pierce 写的《Basic Category Theory for Computer Scientists》（就是写了名作《Types and Programming Languages》的那位）- Paul Taylor 写的《Practical Foundations of Mathematics》（他的个人主页上还有其他有趣的研究；http://www.paultaylor.eu/~pt/prafm/；…

  Because it was not mentioned until now, one of the following might probably come in handy: - Basic Category Theory for Computer Scientists by Benjamin C. Pierce (from "Types and Programming Languages" fame) - Practical Foundations of Mathematics, by Paul Taylor (has other interesting work on his homepage as well; http://www.paultaylor.eu/~pt/prafm/;…

• EvilTerran · 2017 年

  …放到了我的书架上。它是对 PLT（程序设计语言理论）基础概念的一次极佳梳理；Pierce 的文风非常出彩，他写出了我见过的最好读的学术读物。（我也买了并很推崇他的《Basic Category Theory for Computer Scientists》；他的《Advanced Topics in TaPL》我还不敢啃——我相信它肯定极好，但目录就已经把我吓退了。）

  …on my bookshelf from here. It's a great overview of the foundational concepts in PLT; Pierce's style is remarkable, he writes the most readable academic text I've ever seen. (I also own & admire his Basic Category Theory for Computer Scientists; I'm yet to brave his Advanced Topics in TaPL - I'm sure it's very good, but the contents list intimidates me.)

正在加载完整评论……