Recognizing quasi-categorical limits and colimits in homotopy coherent nerves

DOI10.1007/S10485-020-09594-XMaRDI QIDQ2198611zbMATH OpenOpenAlexFDO

Authors Emily Riehl, Dominic Verity

Publication date 10 September 2020

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

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

zbMATH Keywords

\(\infty\)-categoryquasi-category\(\infty\)-cosmos

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Definitions and generalizations in theory of categories (18A05) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Topological categories, foundations of homotopy theory (55U40) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Homological algebra in category theory, derived categories and functors (18G99)

Abstract: In this paper we prove that various quasi-categories whose objects are $infty$-categories in a very general sense are complete: admitting limits indexed by all simplicial sets. This result and others of a similar flavor follow from a general theorem in which we characterize the data that is required to define a limit cone in a quasi-category constructed as a homotopy coherent nerve. Since all quasi-categories arise this way up to equivalence, this analysis covers the general case. Namely, we show that quasi-categorical limit cones may be modeled at the point-set level by pseudo homotopy limit cones, whose shape is governed by the weight for pseudo limits over a homotopy coherent diagram but with the defining universal property up to equivalence, rather than isomorphism, of mapping spaces. Our applications follow from the fact that the $(infty,1)$-categorical core of an $infty$-cosmos admits weighted homotopy limits for all flexible weights, which includes in particular the weight for pseudo cones.

Recommendations

• scientific article; zbMATH DE number 7377654
• Homotopy limits of categories
• Homotopy limits of model categories, revisited
• scientific article; zbMATH DE number 3845811
• Double homotopy (co)limits for relative categories
• scientific article; zbMATH DE number 203009
• Homotopy (co)limits via homotopy (co)ends in general combinatorial model categories
• On the construction of limits and colimits in $\infty$-categories
• Strong homotopy types, nerves and collapses
• Note on commuting homotopy limits and colimits

Cites work

• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 3776484 (Why is no real title available?)
• A model category structure on the category of simplicial categories
• Abstract homotopy theory and generalized sheaf cohomology
• Categorical homotopy theory
• Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions
• Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
• Higher Topos Theory (AM-170)
• Homotopy coherent adjunctions and the formal theory of monads
• Homotopy theory of cocomplete quasicategories
• Kan extensions and the calculus of modules for \(\infty\)-categories
• Mapping spaces in quasi-categories
• On the structure of simplicial categories associated to quasi-categories
• Pro-categories in homotopy theory
• Quasi-categories and Kan complexes
• The 2-category theory of quasi-categories
• The comprehension construction
• The theory and practice of Reedy categories
• Towards an axiomatization of the theory of higher categories
• Weak complicial sets. I: Basic homotopy theory
• Weak complicial sets. II: Nerves of complicial Gray-categories
• Weighted limits in simplicial homotopy theory

Cited in

(8)

• Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions
• An explicit comparison between 2-complicial sets and \(\Theta_2\)-spaces
• A homotopy coherent nerve for \((\infty, n)\)-categories
• The colimit of an \(\infty \)-local system as a twisted tensor product
• Weighted limits in an \((\infty, 1)\)-category
• Fundamental pushouts of \(n\)-complicial sets
• Homotopy coherent adjunctions and the formal theory of monads
• On (co)ends in \(\infty\)-categories

This page was built for publication: Recognizing quasi-categorical limits and colimits in homotopy coherent nerves

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