Algebra:Chapter 0 - 预备知识: 集合论和categories
程序员文章站
2022-07-05 11:19:14
预备知识: 集合论和categories不知道怎么翻译这个categories,等我知道了再改成中文吧!对于集合论的正确处理已经超出了本书的范围和作者的competence。大名鼎鼎的一个公理就是:Zermelo-Frankel axioms。这本书中范围限定在朴素集合论,用它里面的符号和术语足够我们精确地表达数学定义,statements和它们的证明。在代数学中这些朴素集合论的知识是必要的。在本章中我们先看一下朴素集合论的语言,主要是建立我们后面要用的记号。然后会尝试一下categories语言...
预备知识: 集合论和categories
不知道怎么翻译这个categories,等我知道了再改成中文吧!
对于集合论的正确处理已经超出了本书的范围和作者的competence。大名鼎鼎的一个公理就是:Zermelo-Frankel axioms。这本书中范围限定在朴素集合论,用它里面的符号和术语足够我们精确地表达数学定义,statements和它们的证明。
在代数学中这些朴素集合论的知识是必要的。在本章中我们先看一下朴素集合论的语言,主要是建立我们后面要用的记号。然后会尝试一下categories语言,它在代数和其他领域中扮演着很强大的unifying角色。我们主要的目标就是阐述’universal property’记号,这个在整本书中都会出现。
集合论,朴素集合论,categories,universal propertiy
扩展
- 康托尔
- 希尔伯特
- 集合论,朴素集合论
- Zermelo-Frankel axioms
本文地址:https://blog.csdn.net/ea8d1n3/article/details/107493716