同伦类型论中的 Voevodsky 单价公理
历史与综述
2013-02-20 v1 逻辑
摘要
在这篇短文中，我们简要介绍了同伦类型论——一个处于代数拓扑学与数理逻辑交叉领域的新数学领域，并解释了 Vladimir Voevodsky 对此的单价解释。这一解释催生了单价基础（Univalent Foundations）计划，这也是高等研究院当前特别年度的主题。
引用
@article{arxiv.1302.4731,
title = {Voevodsky's Univalence Axiom in homotopy type theory},
author = {Steve Awodey and Álvaro Pelayo and Michael A. Warren},
journal= {arXiv preprint arXiv:1302.4731},
year = {2013}
}
备注
To appear in Notices of the American Mathematical Society