Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions (Q2354967): Difference between revisions

This paper is the continuation of the two preceding papers [\textit{E. Riehl} and \textit{D. Verity}, ``Homotopy coherent adjunctions and the formal theory of monads''; \url{arXiv:1310.8279} (2013)] and [\textit{E. Riehl} and \textit{D. Verity}, Adv. Math. 280, 549--642 (2015; Zbl 1319.18005)] of the same authors. The first half part of the paper is devoted to the following result. Let \(X\) be a simplicial set. The quasi-categorically enriched subcategory of \(\underline{\mathrm{qCat}}_\infty\) spanned by those quasi-categories admitting (co)limits of shape \(X\) and those functors preserving them is closed in \(\underline{\mathrm{qCat}}_\infty\) under all projective cofibrant weighted limits. The class of projective cofibrant weighted limits, i.e., weighted limits with projective cofibrant weights, includes familiar Bousfield-Kan-style homotopy limits such as comma quasi-categories or mapping cocylinders. The preceding result has the following consequence. Let \(T:\underline{\mathrm{Mnd}} \to \underline{\mathrm{qCat}}_\infty\) define a homotopy coherent monad on a quasi-category \(A\) and let \(X\) be a simplicial set. Suppose that \(A\) admits and the functor part \(t:A\to A\) of \(T\) preserves all (co)limits of shape \(X\). Then the forgetful functor \(u^t:A[t]\to A\) creates all (co)limits of shape \(X\). This consequence is not satisfactory in the case of limits because it is expected the monadic forgetful functor to create all limits that \(A\) admits, regardless of whether or not they are preserved by the functor part of the monad. The second half part of the paper is then devoted to the following result: let \(T:\underline{\mathrm{Mnd}} \to \underline{\mathrm{qCat}}_\infty\) define a homotopy coherent monad on a quasi-category \(A\). Then \(u^t:A[t]\to A\) creates any limits that \(A\) admits.