Recognizing quasi-categorical limits and colimits in homotopy coherent nerves

DOI10.1007/S10485-020-09594-XzbMATH Open1456.18003arXiv1808.09834OpenAlexW3009618011MaRDI QIDQ2198611FDOQ2198611

Authors: Emily Riehl, Dominic Verity 

Publication date: 10 September 2020

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

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.

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

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

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)

Cites Work

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

Cited In (8)

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