Recognizing quasi-categorical limits and colimits in homotopy coherent nerves

DOI10.1007/s10485-020-09594-xzbMath1456.18003arXiv1808.09834OpenAlexW3009618011MaRDI QIDQ2198611

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) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Definitions and generalizations in theory of categories (18A05) Homological algebra in category theory, derived categories and functors (18G99) Topological categories, foundations of homotopy theory (55U40)

Related Items (3)

Weighted limits in an \((\infty, 1)\)-category ⋮ A homotopy coherent nerve for \((\infty, n)\)-categories ⋮ Fundamental pushouts of n-complicial sets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
• Kan extensions and the calculus of modules for \(\infty\)-categories
• Pro-categories in homotopy theory
• Homotopy theory of cocomplete quasicategories
• Mapping spaces in quasi-categories
• Homotopy coherent adjunctions and the formal theory of monads
• Weak complicial sets. I: Basic homotopy theory
• Quasi-categories and Kan complexes
• Weighted limits in simplicial homotopy theory
• The 2-category theory of quasi-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
• On the structure of simplicial categories associated to quasi-categories
• The comprehension construction
• A model category structure on the category of simplicial categories
• Higher Topos Theory (AM-170)
• Abstract homotopy theory and generalized sheaf cohomology

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