2-范畴上的 op fibration、Quillen 定理 B 与 $S^{-1}S$
范畴论
2021-05-18 v2 代数拓扑
K理论与同调
摘要
在本文中，我们证明了 2-范畴 op fibration 沿任意 2-函子的严格拉回与 lax 拉回是同伦等价的。我们给出两个应用。首先，我们证明了 op fibration 的严格纤维模型化了同伦纤维。这是适用于应用的 Quillen 定理 B 的一个版本。其次，我们计算了与 op fibration 相关的同调谱序列的 页，并将此套机制应用于 的 2-范畴构造。我们证明了若 是具有忠实平移的对称幺半 2-群胚，则 模型化了 的群完备化。
引用
@article{arxiv.2010.11173,
title = {2-categorical opfibrations, Quillen's Theorem B, and $S^{-1}S$},
author = {Nick Gurski and Niles Johnson and Angélica M. Osorno},
journal= {arXiv preprint arXiv:2010.11173},
year = {2021}
}
备注
42 pages