Univalence for inverse EI diagrams
Algebraic Topology
2017-03-30 v3 Category Theory
Abstract
We construct a new model category presenting the homotopy theory of presheaves on "inverse EI -categories", which contains universe objects that satisfy Voevodsky's univalence axiom. In addition to diagrams on ordinary inverse categories, as considered in previous work of the author, this includes a new model for equivariant algebraic topology with a compact Lie group of equivariance. Thus, it offers the potential for applications of homotopy type theory to equivariant homotopy theory.
Cite
@article{arxiv.1508.02410,
title = {Univalence for inverse EI diagrams},
author = {Michael Shulman},
journal= {arXiv preprint arXiv:1508.02410},
year = {2017}
}
Comments
30 pages. v2: updated references to Boavida, small fixes. v3: condensed, reorganized, and clarified exposition; final version to appear in HHA