Joyal范畴Θ的群状类比Θ̃是一个测试范畴
代数拓扑
2020-09-07 v3 范畴论
摘要
我们引入了Joyal胞腔范畴Θ的群状类比Θ̃，并证明了Θ̃是Grothendieck意义上的严格测试范畴。这意味着Θ̃上的预层以规范方式模拟同伦型。我们还证明了从Θ到Θ̃的典范函子是Grothendieck意义上的无环的。这使我们能够比较Θ̃上预层的弱等价与Θ上预层的弱等价。我们的证明适用于其他与Θ类似的范畴。
引用
@article{arxiv.1012.4319,
title = {The groupoidal analogue Theta~ to Joyal's category Theta is a test category},
author = {Dimitri Ara},
journal= {arXiv preprint arXiv:1012.4319},
year = {2020}
}
备注
41 pages, v2: references added, Remark 7.3 added, v3: metadata updated