arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1508.02410math.ATmath.CT
收藏

Univalence for inverse EI diagrams

Michael Shulman

英文摘要:

We construct a new model category presenting the homotopy theory of presheaves on "inverse EI $(\infty,1)$-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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑