欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页  >  IT编程

Algebra:Chapter 0 - 预备知识: 集合论和categories

程序员文章站 2022-03-22 10:46:27
预备知识: 集合论和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