Mapping spaces in Quasi-categories

Abstract

We apply the Dwyer-Kan theory of homotopy function complexes in model categories to the study of mapping spaces in quasi-categories. Using this, together with our work on rigidification from [DS1], we give a streamlined proof of the Quillen equivalence between quasi-categories and simplicial categories. Some useful material about relative mapping spaces in quasi-categories is developed along the way.

Cited by in corpus (16)

• A universal characterization of higher algebraic K-theory
• Enriched $\infty$-categories via non-symmetric $\infty$-operads
• Iterated spans and classical topological field theories
• Comparison of models for $(\infty ,n)$-categories, I
• Cubical rigidification, the cobar construction, and the based loop space
• Fibration Categories are Fibrant Relative Categories
• A homotopy coherent cellular nerve for bicategories
• A criterion for existence of right-induced model structures
• A counterexample in quasi-category theory
• Comparison of Waldhausen constructions
• Morita homotopy theory for $(\infty ,1)$-categories and $\infty$-operads
• On autoequivalences of the (\infty, 1)-category of \infty-operads
• Descent Theory and Mapping Spaces
• Rigidification of cubical quasi-categories
• Induced model structures for higher categories
• Joyal's cylinder conjecture