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.