论同伦簇
范畴论
2007-05-23 v2 代数拓扑
摘要
给定一个代数理论 ,一个同伦 -代数是一个单纯集,其中来自 的所有方程均同伦地成立。所有同伦 -代数构成一个同伦簇。我们给出了同伦簇的一个类似于簇之刻画的刻画。我们还将研究极限理论的同伦模型,由此导向同伦局部可表现范畴。这些近来由 Simpson、Lurie、To\"{e}n 与 Vezzosi 所考量。
引用
@article{arxiv.math/0509655,
title = {On homotopy varieties},
author = {J. Rosicky},
journal= {arXiv preprint arXiv:math/0509655},
year = {2007}
}
备注
Proposition 4.5 is not valid; see Remark 4.5(e) in the new version. All other results are correct but there are gaps in proofs. They are fixed by reducing simplicial categories to fibrant ones and replacing homotopy colimits by fibrant ones, as well