Fibrations and Yoneda's lemma in an \(\infty\)-cosmos

DOI10.1016/j.jpaa.2016.07.003zbMath1378.18007arXiv1506.05500OpenAlexW2492633899WikidataQ124990040 ScholiaQ124990040MaRDI QIDQ338225

Emily Riehl, Dominic Verity

Publication date: 4 November 2016

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

homotopyfibrationweak equivalencesimplicial set2-categoryadjunctioninfinity categorycosmosweak Kan complex

Mathematics Subject Classification ID

Related Items (20)

Weighted limits in an \((\infty, 1)\)-category ⋮ Every Elementary Higher Topos has a Natural Number Object ⋮ A model structure on prederivators for $(\infty,1)$-categories ⋮ Algebraic weak factorisation systems. I: Accessible AWFS. ⋮ Yoneda lemma for simplicial spaces ⋮ Recognizing quasi-categorical limits and colimits in homotopy coherent nerves ⋮ Accessible aspects of 2-category theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A type theory for synthetic $\infty$-categories ⋮ Contravariance through enrichment ⋮ Fibrations of AU-contexts beget fibrations of toposes ⋮ Filter quotients and non-presentable \((\infty,1)\)-toposes ⋮ Unnamed Item ⋮ Higher symmetries in abstract stable homotopy theories ⋮ Joyal's cylinder conjecture ⋮ Quasi-categories vs. Segal spaces: Cartesian edition ⋮ The Operadic Nerve, Relative Nerve, and the Grothendieck Construction ⋮ The 2-category theory of quasi-categories ⋮ A bivariant Yoneda lemma and \((\infty, 2)\)-categories of correspondences

Cites Work

• Mapping spaces in quasi-categories
• Homotopy coherent adjunctions and the formal theory of monads
• Weak complicial sets. I: Basic homotopy theory
• A Cartesian presentation of weak \(n\)-categories
• Quasi-categories and Kan complexes
• 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
• Replacing model categories with simplicial ones
• The theory and practice of Reedy categories
• Categorical Homotopy Theory
• A model for the homotopy theory of homotopy theory
• Sheafifiable homotopy model categories
• Higher Topos Theory (AM-170)
• Abstract homotopy theory and generalized sheaf cohomology
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Fibrations and Yoneda's lemma in an \(\infty\)-cosmos