单纯形集图的一个∞-范畴局部化函子
代数拓扑
2022-08-01 v1 范畴论
摘要
对每个小范畴 ,存在一个 形单纯形集图的范畴和一个 形空间同伦相干图的 -范畴。我们给出一个函子,将后者展现为前者在逐对象弱同伦等价处的 -范畴局部化。这建立在Heuts-Moerdijk关于与 相关的投射与协变模型结构之间的Quillen等价,以及Cisinski的 -范畴局部化理论之上。我们利用该局部化函子给出简化证明:单纯形集图的左(相应右)同伦Kan扩张呈现空间相干图的 -范畴左(相应右)Kan扩张。
引用
@article{arxiv.2207.14608,
title = {An $\infty$-categorical localisation functor for diagrams of simplicial sets},
author = {Severin Bunk},
journal= {arXiv preprint arXiv:2207.14608},
year = {2022}
}
备注
27 pages; comments welcome