Realizable homotopy colimits

MaRDI QIDQ2927672zbMATH OpenFDO

Authors Beatriz Rodríguez González

Publication date 4 November 2014

Published in Theory and Applications of Categories (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1104.0646, http://www.emis.de/journals/TAC/volumes/29/22/29-22abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

Grothendieck derivatorhomotopy colimitsimplicial descent category

Mathematics Subject Classification ID

Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: 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.

Review text

Computing homotopy limits and colimits is a familiar subject investigated thoroughly within the framework of model categories. Nevertheless, if one is interested in the general case of a category \(\mathcal{C}\) endowed with a class \(\mathcal{W}\) of weak equivalences where a model structure is no longer to be seen, he or she cannot expect much at present. This paper is concerned with the question of computing homotopy limits and colimits in the more tractable case that \(\mathcal{W}\) is closed under coproducts. The main result of this paper is, as well as its converse, that the composition of the simple functor \(\boldsymbol{s}\) with the simplicial replacement of diagrams produces all homotopy colimits within the framework of \(\left( \mathcal{C},\mathcal{W}\right) \) abiding by such desired properties as cofinality, Fubini and preservation under forming diagram categories. It should be stressed that the homotopy colimits constructed in this way are stronger than the ones defined only at the level of localized categories, being really colimits in an appropriate \(2\)-category of categories with weak equivalences (or relative categories in the sense of [\textit{C. Barwick} and \textit{D. M. Kan}, Indag. Math., New Ser. 23, No. 1--2, 42--68 (2012; Zbl 1245.18006)]. The main result could be restated simply that to possess a simple functor is nothing else than to be homotopically cocomplete.

Recommendations

• Homotopy theory of diagrams
• Categorical homotopy theory
• scientific article; zbMATH DE number 2096983
• Homotopy (co)limits via homotopy (co)ends in general combinatorial model categories
• Simplicial structures on model categories and functors
• scientific article; zbMATH DE number 4009322
• scientific article; zbMATH DE number 3884984
• Simplicial radditive functors
• Equivalence of simplicial localizations of closed model categories
• Codescent theory II: cofibrant approximations

Cited in

(25)

• Homotopy theory of algebraic quantum field theories
• A colimit decomposition for homotopy algebras in Cat
• Totalization of simplicial homotopy types
• Weighted limits in simplicial homotopy theory
• Godement resolution and operad sheaf homotopy theory
• Quantum field theories on categories fibered in groupoids
• Homotopy theory of diagrams
• The theory and practice of Reedy categories
• Effective homology for homotopy colimit and cofibrant replacement.
• scientific article; zbMATH DE number 991135 (Why is no real title available?)
• scientific article; zbMATH DE number 3859371 (Why is no real title available?)
• Commutation of geometric realization functor and finite limits
• Homotopy colimits in stable representation theory
• scientific article; zbMATH DE number 18031 (Why is no real title available?)
• scientific article; zbMATH DE number 737031 (Why is no real title available?)
• scientific article; zbMATH DE number 1759227 (Why is no real title available?)
• Double homotopy (co)limits for relative categories
• Homotopy colimits and global observables in abelian gauge theory
• Godement resolutions and sheaf homotopy theory
• Homotopy colimits of diagrams over posets and variations on a theorem of Thomason
• A strictly commutative model for the cochain algebra of a space
• Nonexistence of colimits in naive discrete homotopy theory
• Homotopy (co)limits via homotopy (co)ends in general combinatorial model categories
• Homotopy limits and homotopy colimits of chain complexes
• Note on commuting homotopy limits and colimits

This page was built for publication: Realizable homotopy colimits

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2927672)