Unimath 奇书一本:Symmetry Book

Unimath 是 Univalent Math 的缩写,简单讲是用 Voevodsky 的 univalent point of view (homotopy type theory) 写数学。本文只是想简单介绍一个偶然看见的 Unimath 项目:

UniMath/SymmetryBookgithub.com图标

项目说明直接引用在此,重点信息加粗:This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

目录截图见文末。这书从 type theory (而不是集合论)出发,从自然数讲起,到 fundamental group, 还会介绍 gerbes 等一些 nonabelian cohomology/K-theory 的构造(作者是 UIUC 做 K-theory 的)可谓视角新奇独特了。可能可以算是 univalent math 的入门教材?出发点应该是很初等的,但也不能说内容完全平凡。(很多构造可能在传统的顺序里是研究生才知道,但从 Unimath 的角度说是初等的,所以这本书对内容的选取会让人觉得神奇。)

书其实还没写完,Github repository 值得有兴趣的人多瞅两眼。编译不难

git clone https://github.com/UniMath/SymmetryBook
cd SymmetryBook
make

对伸手党我传了一份编译好的到 t.me/booksofmath/13 可以直接下载。

更懒的可以直接看下目录。

发布于 2019-02-15

文章被以下专栏收录