Study note

Homotopy Type Theory : Univalent Foundations of Mathematics

View original Back to list

Properties

Type: Books
Status: 想读
Domain: Math
Category: 逻辑、集合论与范畴
Source: book.douban.com
Vault note: library/books/math/Homotopy-Type-Theory-Univalent-Foundations-of-Mathematics-4f4a9b2c73cc6431.md

系统介绍同伦类型论和单值基础，把同伦论、类型论、球面同伦群、类型检查算法、弱无穷群胚等主题连接起来，并以 Voevodsky 的单值公理和高阶归纳类型为核心。

定位为单值基础的第一份系统性基础 exposition，展示一种不同于集合论的数学基础视角，而且不要求读者使用计算机证明助手。

Univalent Foundations Program；2014-6-3。

Loading comments...