Yoneda lemma for simplicial spaces (Q6175166): Difference between revisions

This paper studies the Yoneda lemma for arbitrary simplicial spaces by introducing \textit{left fibrations} of simplicial spaces and studying their associated model structure. \textit{P. Boavida de Brito} [Contemp. Math. 708, 19--44 (2018; Zbl 1405.55023)] developed left fibrations of Segal spaces. The author has written several papers concerned wtih Cartesian fibrations of complete Segal spaces [\textit{N. Rasekh}, J. Homotopy Relat. Struct. 16, No. 4, 563--604 (2021; Zbl 1492.18022); High. Struct. 7, No. 1, 40--73 (2023); \textit{N. Rasekh}, Homology Homotopy Appl. 24, No. 2, 135--161 (2022; Zbl 1512.18006)]. The key ideas of this paper have also been generalized in [\textit{N. Rasekh}, ``Yoneda Lemma for \(\mathcal{D}\)-simplicial spaces'', Preprint, \url{arXiv:2108.06168}] to the setting of \((\infty,n)\)-categories in the particular model of \(n\)-fold complete Segal spaces. Independently \textit{J. Nuiten} [``On straightening for Segal spaces'', Preprint, \url{arXiv:2108.11431}] has also studied fibrations of \(n\)-fold complete Segal spaces. The synopsis of the paper goes as follows. \begin{itemize} \item[\S 1] reviews the classical Yoneda lemma (\S 1.1), the Grothendieck construction (\S 1.2) and the fibrational Yoneda lemma for categories (\S 1.3). \item[\S 2] reviews necessary background concepts such as Joyal-Tierney calculus (\S 2.1), spaces (\S 2.2), simplicial spaces (\S 2.3), the Reedy model structure (\S 2.4) and complete Segal spaces (\S 2.6). \item[\S 3] begins the study of left fibrations. \S 3.1 introduces left fibrations, giving various alternative characterizations. \S 3.2 defines a model structure for left fibrations, the \textit{covariant model structure}, over arbitrary simplicial spaces (Theorem 3.12). \S 3.3 studies left fibrations over Segal spaces, particularly establishing the Yoneda lemma for Segal spaces (Theorem 3.49). \item[\S 4] consists of two subsections. \S 4.1 focuses on the covariant model structure over nerves of categories, particularly establishing the Grothendieck construction (Theorem 4.18). \S 4.2 establishes the \textit{recognition principle for covariant equivalences} (Theorem 4.41). \item[\S 5] studies the relation between left fibrations and complete Segal spaces. \S 5.1 proves the invariance of the covariant model structure (Theorem 5.1) with several significant implications. \S 5.2 applies these results to the study of colimits in Segal spaces. \item[Appendix A] reviews some key lemmas about model categories. \item[Appendix B] establishes the Quillen equivalence between the covariant model structure for simplicial spaces and that for simplicial sets studied in [\textit{J. Lurie}, Higher topos theory. Princeton, NJ: Princeton University Press (2009; Zbl 1175.18001)]. \end{itemize}