可实现同伦余极限
Realizable homotopy colimits
摘要：
本文证明了对于任何模型范畴，同伦上极限的Bousfield-Kan构造是上极限的绝对左导出函子.这是通过表明，Bousfield-Kan同伦上极限是一个可实现的同伦上极限，通过一个合适的2-范畴的相对范畴定义。此外，在精确余积的情况下，我们的特征在于可实现的同伦余极限，满足一个共尾性的性质，由一个公式下面的模式Bousfield-Kan建设：他们是一个“几何实现”与单纯替换的组合物。
英文摘要：
In this paper we prove that for any model category, the Bousfield-Kan construction of the homotopy colimit is the absolute left derived functor of the colimit. This is achieved by showing that the Bousfield-Kan homotopy colimit is moreover a realizable homotopy colimit, defined by means of a suitable 2-category of relative categories. In addition, in the case of exact coproducts, we characterize the realizable homotopy colimits that satisfy a cofinality property as those given by a formula following the pattern of Bousfield-Kan construction: they are the composition of a "geometric realization" with the simplicial replacement.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
