TY  - JOUR
AU  - Michael Shulman
TI  - Univalence for inverse EI diagrams
JO  - Homology, homotopy, and applications
PY  - 2017
SP  - 219
EP  - 249
VL  - 19
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4310/HHA.2017.v19.n2.a12/
DO  - 10.4310/HHA.2017.v19.n2.a12
LA  - en
ID  - HHA_2017_19_2_a11
ER  -