
数学中的集合
Sets for mathematics
F. W. Lawvere · 初版 2002 年
- 11次提及
- 4人推荐
- 6位 HN 评论者
简介
高年级本科生或低年级研究生在学习几何、分析与代数时需要一个统一的基础。本书于2003年首次出版,利用 categorical algebra 构建了这一基础,从对数学和物理中常见现象的直观描述起步,逐步推进到对 Categories of Sets 本质的精确规范。作为映射代数的 Set theory 被引入并展开,作为代数、几何、分析和组合学等高等数学学科的统一基础。形式化研究从一般……演进。
Hacker News 读者推荐
Lawvere 和 Rosebrugh 写的《Sets for Mathematics》。通过集合范畴来学习范畴论。只需要对写证明稍微有点感觉就行,至少有离散数学第一门课的水平就行。要是有一点……
decasteve 在 HN 的推荐
Lawvere 的《Conceptual Mathematics》和《Sets for Mathematics》用来达到这个目的也极好。虽然有挑战性,但只要程序员大量跟函数和类型打过交道,具备了相应的数学成熟度,就完全啃得下来。
nextos 在 HN 的推荐
你应该去看看《Conceptual Mathematics》,然后再看《Sets for Mathematics》,两本都是 Lawvere 写的。写得太神了
tobbe2064 在 HN 的推荐
找书
数据整理自 Hacker News 公开评论,数据来源 hackerbooks.org 与 Open Library。