C. Kapulkin, P. Lumsdaine, and V. Voevodsky. (2012)cite http://arxiv.org/abs/1211.2851arxiv:1211.2851Comment: 55 pages. Some portions of this paper previously appeared in the shorter note Ünivalence in Simplicial Sets", arXiv:1203.2553.
C. Kapulkin, P. Lumsdaine, and V. Voevodsky. (2012)cite http://arxiv.org/abs/1203.2553arxiv:1203.2553Comment: The Simplicial Model of Univalent Foundations, arxiv:1211.2851, is an expanded version of this note, presenting the logical as well as the simplicial aspects of the model.