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

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.