论 $\Theta_{n}$-空间与迭代 Segal 空间之间的等价性
代数拓扑
2020-11-03 v2 范畴论
摘要
我们给出了 -范畴的两个主要模型——即 Barwick 的 重 Segal 空间与 Rezk 的 -空间——之间等价性的一个新证明,通过证明它们是 -球状空间(-globular spaces)的 -范畴上的同一个单子(monad)的代数。该证明对一类广泛的 -范畴成立,这类范畴包含所有 -拓扑斯(-topoi)。
引用
@article{arxiv.1604.08480,
title = {On the equivalence between $\Theta_{n}$-spaces and iterated Segal spaces},
author = {Rune Haugseng},
journal= {arXiv preprint arXiv:1604.08480},
year = {2020}
}
备注
15 pages, v2: accepted version