拓扑斯
Topoi
Robert Goldblatt · 初版 1979 年
- 6次提及
- 2人推荐
- 6位 HN 评论者
Hacker News 读者推荐
……Milewski 的《Category Theory for Programmers》视频讲座系列。和所有视频讲座一样，它能很好地激励那些还没入门范畴论的 Haskell 程序员。2. Goldblatt 的《Topoi》。虽然相当有年代感了，但通过在 topoi 上的应用把范畴论讲得很透彻。3. MacLane 的《CatWork》（Categories for the Working Mathematician）。我个人不是特别喜欢这本，但硬啃下来是必经之路。最关键的……
artagnon 在 HN 的推荐
……是经典的。不过通常来说，subobject classifier（子对象分类器）是一个 Heyting 代数，表达了直觉主义逻辑的语义。Goldblatt 也写过一本非常优秀但偏入门的《Topoi》，涵盖了这个逻辑层面。所以从逻辑的角度来看，Sets 范畴反而是个例外。我所说的 internal logic（内蕴逻辑），是指对于每一个 topos，人们都可以利用它的对象以及它们之间的函数来建立一套理论……
bitdiddle 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 052189560X
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。