Quasi-Categories vs. Segal Spaces: Cartesian Edition

Abstract

We prove that four different ways of defining Cartesian fibrations and the Cartesian model structure are all Quillen equivalent: On marked simplicial sets, on bisimplicial spaces, on bisimplicial sets, on marked simplicial spaces. The main way to prove these equivalences is by using the Quillen equivalences between quasi-categories and complete Segal spaces as defined by Joyal-Tierney and the straightening construction due to Lurie.

arXiv commentFinal version, Published in Journal of Homotopy and Related Structures

References in corpus (16)

• Higher Topos Theory
• A cartesian presentation of weak n-categories
• A necessary and sufficient condition for induced model structures
• A note on the $(\infty ,n)$-category of cobordisms
• Search for electroweak production of a vector-like T quark using fully hadronic final states
• Higher quasi-categories vs higher Rezk spaces
• (Infinity,2)-Categories and the Goodwillie Calculus I
• Comparison of models for $(\infty ,n)$-categories, I
• A short course on $\infty$-categories
• Comparison of models for $(\infty ,n)$-categories, II
• Covariant Model Structures and Simplicial Localization
• Fibrations of $\infty$-categories
• Left fibrations and homotopy colimits II
• Fibrations and lax limits of $(\infty ,2)$-categories
• Cartesian Fibrations and Representability
• Yoneda Lemma for Simplicial Spaces

Cited by in corpus (2)

• Univalence in Higher Category Theory
• Yoneda Lemma for $\mathcal{D}$-Simplicial Spaces