Geodesic
The univalence axiom for elegant Reedy presheaves
Homology, homotopy, and applications, Tome 17 (2015) no. 2, pp. 81-106.

Voir la notice de l'article provenant de la source International Press of Boston

We show that Voevodsky’s univalence axiom for homotopy type theory is valid in categories of simplicial presheaves on elegant Reedy categories. In addition to diagrams on inverse categories, as considered in previous work of the author, this includes bisimplicial sets and $\Theta_n$-spaces. This has potential applications to the study of homotopical models for higher categories.
DOI : 10.4310/HHA.2015.v17.n2.a6
Classification : 03G30, 18G55, 55U35
Keywords: homotopy type theory, univalence axiom, elegant Reedy category 
@article{HHA_2015_17_2_a5,
     author = {Michael Shulman},
     title = {The univalence axiom for elegant {Reedy} presheaves},
     journal = {Homology, homotopy, and applications},
     pages = {81--106},
     publisher = {mathdoc},
     volume = {17},
     number = {2},
     year = {2015},
     doi = {10.4310/HHA.2015.v17.n2.a6},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4310/HHA.2015.v17.n2.a6/}
}
TY  - JOUR
AU  - Michael Shulman
TI  - The univalence axiom for elegant Reedy presheaves
JO  - Homology, homotopy, and applications
PY  - 2015
SP  - 81
EP  - 106
VL  - 17
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4310/HHA.2015.v17.n2.a6/
DO  - 10.4310/HHA.2015.v17.n2.a6
LA  - en
ID  - HHA_2015_17_2_a5
ER  - 
%0 Journal Article
%A Michael Shulman
%T The univalence axiom for elegant Reedy presheaves
%J Homology, homotopy, and applications
%D 2015
%P 81-106
%V 17
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4310/HHA.2015.v17.n2.a6/
%R 10.4310/HHA.2015.v17.n2.a6
%G en
%F HHA_2015_17_2_a5
Michael Shulman. The univalence axiom for elegant Reedy presheaves. Homology, homotopy, and applications, Tome 17 (2015) no. 2, pp. 81-106. doi : 10.4310/HHA.2015.v17.n2.a6. http://geodesic.mathdoc.fr/articles/10.4310/HHA.2015.v17.n2.a6/

Cité par Sources :