arXiv Analytics

Sign in

arXiv:1203.2553 [math.AT]AbstractReferencesReviewsResources

Univalence in Simplicial Sets

Chris Kapulkin, Peter LeFanu Lumsdaine, Vladimir Voevodsky

Published 2012-03-12, updated 2018-10-29Version 4

We present an accessible account of Voevodsky's construction of a univalent universe of Kan fibrations.

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
Categories: math.AT, math.CT
Subjects: 55U10, 55U35
Related articles: Most relevant | Search more
arXiv:2111.06512 [math.AT] (Published 2021-11-12, updated 2022-03-31)
Generalizing quasi-categories via model structures on simplicial sets
arXiv:1807.08226 [math.AT] (Published 2018-07-22)
Model Structures for Correspondences and Bifibrations
arXiv:math/0009004 [math.AT] (Published 2000-09-01, updated 2001-09-18)
Higher fundamental functors for simplicial sets

Links

Toolbox