Yoneda Lemma for $\mathcal{D}$-Simplicial Spaces

Abstract

For a small category $\mathcal{D}$ we define fibrations of simplicial presheaves on the category $\mathcal{D}\times \Delta$, which we call localized $\mathcal{D}$-left fibration. We show these fibrations can be seen as fibrant objects in a model structure, the localized $\mathcal{D}$-covariant model structure, that is Quillen equivalent to a category of functors valued in simplicial presheaves on $\mathcal{D}$, where the Quillen equivalence is given via a generalization of the Grothendieck construction. We use our understanding of this construction to give a detailed characterization of fibrations and weak equivalences in this model structure and in particular obtain a Yoneda lemma. We apply this general framework to study Cartesian fibrations of $(\infty ,n)$-categories, for models of $(\infty ,n)$-categories that arise via simplicial presheaves, such as $n$-fold complete Segal spaces. This, in particular, results in the Yoneda lemma and Grothendieck construction for Cartesian fibrations of $(\infty ,n)$-categories.

108 pages, comments welcome!

References in corpus (15)

• (Infinity,2)-Categories and the Goodwillie Calculus I
• Gray tensor products and lax functors of $(\infty ,2)$-categories
• Fibrations and lax limits of $(\infty ,2)$-categories
• Quasi-Categories vs. Segal Spaces: Cartesian Edition
• Enhanced twisted arrow categories
• A 2Cat-inspired model structure for double categories
• Marked colimits and higher cofinality
• Cubical models of $(\infty ,1)$-categories
• A double $(\infty ,1)$-categorical nerve for double categories
• Bi-initial objects and bi-representations are not so different
• $(\infty ,1)$-Categorical Comprehension Schemes
• Enriched infinity categories I: enriched presheaves
• Synthetic fibered $(\infty ,1)$-category theory
• Univalence in Higher Category Theory
• Equivalence of cubical and simplicial approaches to $(\infty ,n)$-categories