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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call