Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
Homotopy weighted colimits (alias weighted homotopy colimits) are the analog of weighted colimits in homotopy theory.
For the special case of model categories, we can define homotopy weighted colimits as follows.
Fix a monoidal model category , a -enriched model category , and a small -enriched category .
For simplicity, assume all enriched hom objects of are cofibrant. If this is not the case, we can first cofibrantly replace in the Dwyer-Kan model structure on enriched categories.
We have a left Quillen bifunctor
given by the ordinary weighted colimit functor.
The homotopy weighted colimit can then be defined as the left derived Quillen bifunctor of the weighted colimit functor.
See Section 9.2 in
and for simplicially based theories,
(That article uses the older terminology of ‘indexed colimits’ rather than the `weighted' one.)
Other references:
Lukáš Vokřínek, Homotopy weighted colimits, arXiv:1201.2970.
Nicola Gambino, Weighted limits in simplicial homotopy theory, Journal of Pure and Applied Algebra 214 7 (2010) 1193–1199 [doi:10.1016/j.jpaa.2009.10.006]
Michael Shulman, Homotopy limits and colimits and enriched homotopy theory, arXiv:math/0610194.
Sergey Arkhipov, Sebastian Ørsted, Homotopy (co)limits via homotopy (co)ends in general combinatorial model categories (arXiv:1807.03266).
Last revised on May 16, 2023 at 15:53:23. See the history of this page for a list of all contributions to it.