Univalence in Simplicial Sets
Algebraic Topology
2018-10-30 v4 Category Theory
Abstract
We present an accessible account of Voevodsky's construction of a univalent universe of Kan fibrations.
Cite
@article{arxiv.1203.2553,
title = {Univalence in Simplicial Sets},
author = {Chris Kapulkin and Peter LeFanu Lumsdaine and Vladimir Voevodsky},
journal= {arXiv preprint arXiv:1203.2553},
year = {2018}
}
Comments
13 pages. Not intended for publication. An extended version appears as "The Simplicial Model of Univalent Foundations (after Voevodsky)", arXiv:1211.2851, presenting the logical as well as the homotopy-theoretic aspects of the model