The 2-category theory of quasi-categories

DOI10.1016/J.AIM.2015.04.021zbMath1319.18005arXiv1306.5144OpenAlexW2963131328MaRDI QIDQ2346051

Emily Riehl, Dominic Verity

Publication date: 29 May 2015

Published in: Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

quasi-categories2-category theoryformal category theory

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Definitions and generalizations in theory of categories (18A05) Enriched categories (over closed or monoidal categories) (18D20) Topological categories, foundations of homotopy theory (55U40)

Related Items (27)

On the construction of limits and colimits in $\infty$-categories ⋮ Weighted limits in an \((\infty, 1)\)-category ⋮ $L'$-localization in an $\infty$-topos ⋮ Waldhausen additivity: classical and quasicategorical ⋮ Fibrations and Yoneda's lemma in an \(\infty\)-cosmos ⋮ Every Elementary Higher Topos has a Natural Number Object ⋮ A model structure on prederivators for $(\infty,1)$-categories ⋮ Higher weak (co)limits, adjoint functor theorems, and higher Brown representability ⋮ Algebraic weak factorisation systems. I: Accessible AWFS. ⋮ Accessible \(\infty \)-cosmoi ⋮ Recognizing quasi-categorical limits and colimits in homotopy coherent nerves ⋮ Accessible aspects of 2-category theory ⋮ Unnamed Item ⋮ Categorical notions of fibration ⋮ Adjoint functor theorems for ∞‐categories ⋮ Stability for inner fibrations revisited ⋮ Fundamental pushouts of n-complicial sets ⋮ On truncated quasi-categories ⋮ Functors (between \(\infty \)-categories) that aren't strictly unital ⋮ Pregeometric spaces from Wolfram model rewriting systems as homotopy types ⋮ Spherical adjunctions of stable \(\infty \)-categories and the relative S-construction ⋮ Unnamed Item ⋮ Two-sided Cartesian fibrations of synthetic \((\infty, 1)\)-categories ⋮ Comparison of Waldhausen constructions ⋮ Higher symmetries in abstract stable homotopy theories ⋮ The 2-category theory of quasi-categories ⋮ Abstract representation theory of Dynkin quivers of type \(A\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
• Mapping spaces in quasi-categories
• Bar and cobar constructions. I
• Homotopy coherent adjunctions and the formal theory of monads
• Weak complicial sets. I: Basic homotopy theory
• The algebra of oriented simplexes
• Lax colimits and free fibrations in \(\infty\)-categories
• Homotopy invariant algebraic structures on topological spaces
• Quasi-categories and Kan complexes
• Enriched \(\infty\)-categories via non-symmetric \(\infty\)-operads
• The 2-category theory of quasi-categories
• Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions
• Homotopical algebra
• Simplicial structures on model categories and functors
• The theory and practice of Reedy categories
• Categorical Homotopy Theory
• A model category structure on the category of simplicial categories
• Vogt's theorem on categories of homotopy coherent diagrams
• Elementary observations on 2-categorical limits
• A model for the homotopy theory of homotopy theory
• Complicial sets characterising the simplicial nerves of strict 𝜔-categories
• Higher Topos Theory (AM-170)

This page was built for publication: The 2-category theory of quasi-categories