组合性七讲

Seven Sketches in Compositionality

Brendan Fong、David I. Spivak · 初版 2018 年

20人推荐

26位读者提及

27次提及

为什么值得读

以偏序集等基础概念为起点，降低学习门槛
作者在网络上提供了免费电子版供读者阅读
配合 Topos 研究所的线上讲座视频效果更佳

Hacker News 上怎么说

benrbray · 2021 年
如果你对这些东西好奇又不知道从何入手，Fong & Spivak 的《An Invitation to Applied Category Theory: Seven Sketches in Compositionality》[1] 的第一章也用偏序集介绍了范畴论的思想。编辑：在 Fong & Spivak 的书之后，Emily Riehl 的《Category Theory in Context》是极好的下一步，尽管它需要一些数学……
If you’re curious about this stuff and don’t know where to begin, the first chapter of Fong & Spivak, “An Invitation to Applied Category Theory: Seven Sketches in Compositionality” [1] also introduces category-theoretic ideas using partial orders. Edit: After the Fong & Spivak book, the book by Emily Riehl, "Category Theory in Context" is an excellent next step, although it requires some mathema
ybogomolov · 2022 年
绝对是《Seven Sketches in Compositionality》！[1] ——— [1] https://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf
Definitely “Seven Sketches in Compositionality”! [1] ——— [1] https://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf
lgdw · 2022 年
如果有人对应用范畴论感兴趣，一定要看看伯克利的 Topos Institute [1]。他们每周办研讨会，会发到 YouTube 上，还有一个特别有意思的博客。我得说，听 David Spivak 讲话真是一大享受。《7 Sketches in Compositionality》[2] 是我接触范畴论的入门书（由 Spivak 和 Topos 的另一位成员 Brendan Fong 合写），它真的……
If anyone is interested in Applied Category Theory, definitely check out the Topos Institute in Berkeley [1]. They do weekly seminars that they post on youtube and a really intriguing blog. I must say that David Spivak is a treasure to hear speak. 7 Sketches in Compositionality [2] was my introduction into Category Theory (written by Spivak and Brendan Fong, another member of Topos), and it really
hackernews7899 · 2019 年
看看 Spivak 和 Fong 的《Seven Sketches in Compositionality》。作者在网上提供了免费版本。这是一本应用范畴论的入门书。
Check out “Seven Sketches in Compositionality“ by Spivak and Fong. You can find a free copy provided by the authors online. It is an introductory book to applied category theory.
zozbot234 · 2020 年
什么样的图？有不少图形表示在范畴论里极其有用，但它们远不等价。如果我没记错，https://arxiv.org/abs/1803.05316 介绍了其中一些。
What kinds of graphs? There are a number of graphical representations that turn out to be incredibly useful in category theory, but they're far from equivalent. IIRC, https://arxiv.org/abs/1803.05316 introduces some of them.
0-ary · 2020 年
如果只能给高中时的我一本数学书，那一定是 Fong 和 Spivak 的《Seven Sketches in Compositionality》。大学寒假我把里面的习题全做了一遍，过程中才意识到，我一路刷数学课和奥赛题，却从没体会过其中的美……
If I could give my high school self only one math book, it would have to be Seven Sketches in Compositionality by Fong and Spivak. Did every exercise over winter break in college and realized along the way that I had been hustling through math courses and olympiad problems without appreciating any beauty in the…

正在加载完整评论……