Voevodsky 单值性公理的一个自包含、简明且完备的表述
逻辑
2018-10-18 v4
摘要
在面向数学家或逻辑学家的普通读者介绍中，单值性公理通常通过粗略描述来解释。这引发了若干误解，而在缺乏精确定义的情况下无法妥善澄清。在这份简短笔记中，我们从零开始给出单值性公理的完备表述。这些笔记的基本理念是应尽可能简洁（且不过分）。它们并非意在成为单值性百科全书。
引用
@article{arxiv.1803.02294,
title = {A self-contained, brief and complete formulation of Voevodsky's Univalence Axiom},
author = {Martín Hötzel Escardó},
journal= {arXiv preprint arXiv:1803.02294},
year = {2018}
}