Quasi-categories vs Segal spaces

  title={Quasi-categories vs Segal spaces},
  author={Andr{\'e} Joyal and Myles Tierney},
  journal={arXiv: Algebraic Topology},
We show that complete Segal spaces and Segal categories are Quillen equivalent to quasi-categories. 
Segal objects and the Grothendieck construction
We discuss right fibrations in the $\infty$-categorical context of Segal objects in a category V and prove some basic results about these.
2-Segal Spaces from Higher Categories
All simplicial spaces in this section will be combinatorial, i.e., objects of \({{\mathbb S}}_{\Delta }\).
Model Categories and Bousfield Localization
For a systematic study of 2-Segal spaces it is convenient to work in the more general framework of model categories.
We show that the quasicategory of frames of a cofibration category, introduced by the second-named author, is equivalent to its simplicial localization.
Quasicategories of Frames of Cofibration Categories
We show that the quasicategory of frames of a cofibration category, introduced by the second-named author, is equivalent to its simplicial localization.
Complete Segal spaces arising from simplicial categories
In this paper, we compare several functors which take simplicial categories or model categories to complete Segal spaces, which are particularly nice simplicial spaces which, like simplicialExpand
Locally Cartesian Closed Quasicategories from Type Theory
We prove that the quasicategories arising from models of Martin-Lof type theory via simplicial localization are locally cartesian closed.
Brown categories and bicategories
In a Brown category of cofibrant objects, there is a model for the mapping spaces of the hammock localization in terms of zig-zags of length 2. In this paper we show how to assemble these spaces intoExpand
Geometric higher groupoids and categories
In an enriched setting, we show that higher groupoids and higher categories form categories of fibrant objects. The nerve of a differential graded algebra is a higher category in the category ofExpand
In this note we prove that Reedy fibrant Segal categories are fi- brant objects in the model category structure SeCatc. Combining this result with a previous one, we thus have that the fibrantExpand


A model category structure on the category of simplicial categories
In this paper we put a cofibrantly generated model category struc- ture on the category of small simplicial categories. The weak equivalences are a simplicial analogue of the notion of equivalence ofExpand
Quasi-categories and Kan complexes
A quasi-category X is a simplicial set satisfying the restricted Kan conditions of Boardman and Vogt. It has an associated homotopy category hoX. We show that X is a Kan complex iff hoX is aExpand
Simplicial Homotopy Theory
Simplicial sets, model categories, and cosimplicial spaces: applications for homotopy coherence, results and constructions, and more. Expand
Homotopy coherent category theory and A∞-structures in monoidal categories
Abstract We consider the theory of operads and their algebras in enriched category theory. We introduce the notion of simplicial A∞-graph and show that some important constructions of homotopyExpand
Homotopy Limit Functors on Model Categories and Homotopical Categories
Model categories: An overview Model categories and their homotopy categories Quillen functors Homotopical cocompleteness and completeness of model categories Homotopical categories: Summary of partExpand
Homotopy Invariant Algebraic Structures on Topological Spaces
Motivation and historical survey.- Topological-algebraic theories.- The bar construction for theories.- Homotopy homomorphisms.- Structures on based spaces.- Iterated loop spaces and actions onExpand
Stable Infinity Categories
This paper is an expository account of the theory of stable infinity categories. We prove that the homotopy category of a stable infinity category is triangulated, and that the collection of stableExpand
Universal Homotopy Theories
Abstract Begin with a small category C . The goal of this short note is to point out that there is such a thing as a “universal model category built from C .” We describe applications of this to theExpand
Abstract In this paper we describe an obstruction theory for the problem of taking a commutative diagram in the homotopy category of topological spaces and lifting it to an actual commutative diagramExpand
Simplicial structures on model categories and functors
We produce a highly structured way of associating a simplicial category to a model category which improves on work of Dwyer and Kan and answers a question of Hovey. We show that model categoriesExpand