Homotopy (co)limits via homotopy (co)ends in general combinatorial model categories

DOI10.1007/S10485-023-09747-8MaRDI QIDQ6185813zbMATH OpenFDO

Authors Sergey Arkhipov, Sebastian Ørsted

Publication date 8 January 2024

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1807.03266

zbMATH Keywords

Bousfield-Kan formulacategory theoryderived functorshomotopy limitmodel categoriessimplicial sets

Mathematics Subject Classification ID

Resolutions; derived functors (category-theoretic aspects) (18G10) Homotopical algebra, Quillen model categories, derivators (18N40) Higher categories and homotopical algebra (18N99) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: We prove and explain several classical formulae for homotopy (co)limits in general (combinatorial) model categories which are not necessarily simplicially enriched. Importantly, we prove versions of the Bousfield-Kan formula and the fat totalization formula in this complete generality. We finish with a proof that homotopy-final functors preserve homotopy limits, again in complete generality.

Review text

Given a model category \(\mathcal{C}\) and a (small) category \(\Gamma\), write \(\mathcal{C}^\Gamma\) for the category of functors \(\Gamma\to\mathcal{C}\). The inverse limit functor \(\lim\limits_{\gets} : \mathcal{C}^\Gamma\to\mathcal{C}\), if it exists, is defined as a right adjoint of this trivial functor \(\mathcal{C}\to\mathcal{C}^\Gamma.\) The right derived functor of \(\lim\limits_{\gets}\) is called \textit{the homotopy limit}. Dually, the left derived functor of the direct limit functor \(\lim\limits_{\to}\) is called the \textit{homotopy colimit}. One of the most popular techniques involves adding a parameter to the limit functor \(\lim\limits_{\gets}\) before deriving it. The result is the end bifunctor \(\int_\Gamma : \Gamma^{op}\times\Gamma\to \mathcal{C}\) which is in general much easier to derive. The classical accounts of this technique is the result by \textit{P. S. Hirschhorn} [Model categories and their localizations. Providence, RI: American Mathematical Society (AMS) (2003; Zbl 1017.55001)] who mainly works in the setting of simplicial model categories. The authors prove and explain several classical formulae for homotopy (co)limits in general (combinatorial) model categories which are not necessarily simplicially enriched. Versions of the Bousfield-Kan formula and the fat totalization formula in this complete generality are discussed. Furthermore, a proof that homotopy-final functors preserve homotopy limits, again in complete generality is presented. At the end, a proof that homotopy-final functors preserve homotopy limits, again in complete generality is presented.

Recommendations

• Homotopy limits of model categories and more general homotopy theories
• Weighted limits in simplicial homotopy theory
• A general formulation of homotopy limits
• Realizable homotopy colimits
• Homotopy colimits of model categories

Cites work

• Categorical homotopy theory
• Explicit homotopy limits of \(\mathrm{dg}\)-categories and twisted complexes
• Higher Topos Theory (AM-170)
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• Weighted limits in simplicial homotopy theory

Cited in

(5)

• Recognizing quasi-categorical limits and colimits in homotopy coherent nerves
• Realizable homotopy colimits
• Algebraic \(k\,k\)-theory and the KH-isomorphism conjecture
• Modeling (,1)-categories with Segal spaces
• Homotopy limits and homotopy colimits of chain complexes

This page was built for publication: Homotopy (co)limits via homotopy (co)ends in general combinatorial model categories

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