预备知识: 集合论和categories
不知道怎么翻译这个categories，等我知道了再改成中文吧！
对于集合论的正确处理已经超出了本书的范围和作者的competence。大名鼎鼎的一个公理就是：Zermelo-Frankel axioms。这本书中范围限定在朴素集合论，用它里面的符号和术语足够我们精确地表达数学定义，statements和它们的证明。
在代数学中这些朴素集合论的知识是必要的。在本章中我们先看一下朴素集合论的语言，主要是建立我们后面要用的记号。然后会尝试一下categories语言，它在代数和其他领域中扮演着很强大的unifying角色。我们主要的目标就是阐述’universal property’记号，这个在整本书中都会出现。
集合论，朴素集合论，categories，universal propertiy
扩展
- 康托尔
- 希尔伯特
- 集合论，朴素集合论
- Zermelo-Frankel axioms
235
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
