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  -