arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1612.04450math.ATmath.CT
收藏

严格n-范畴与增广有向复形模型同伦类型

Strict n-categories and augmented directed complexes model homotopy types

Andrea Gagna

摘要:

本文证明了严格$n$ -范畴的同伦范畴$1\leqslant n \leqslant \infty$和Steiner增广有向复形的同伦范畴都等价于同伦类型范畴。为了做到这一点,我们首先证明了一个抽象的结果,基于Fritsch和Latch的策略,给出了一个神经函子的充分条件,其值在单纯集上,在同伦范畴的水平上诱导等价。然后我们将这个结果应用到严格$n$ -范畴和增广有向复形上,我们定理的假设是由Ara和Maltsiniotis建立的.

英文摘要:

In this paper we show that both the homotopy category of strict $n$-categories, $1\leqslant n \leqslant \infty$, and the homotopy category of Steiner's augmented directed complexes are equivalent to the category of homotopy types. In order to do so, we first prove an abstract result, based on a strategy of Fritsch and Latch, giving sufficient conditions for a nerve functor with values in simplicial sets to induce an equivalence at the level of homotopy categories. We then apply this result to strict $n$-categories and augmented directed complexes, for which the hypothesis of our theorem were established by Ara and Maltsiniotis.

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

↑