Left fibrations and homotopy colimits (Q2339667)

Let \({\mathbf A}\) be a small category, let \({\mathbf{ sSets}}^{\mathbf A}\) be the category of simplicial diagrams on \({\mathbf A}\), and let \({\mathbf {sSets}}/N{\mathbf A}\) be the category of simplicial sets over the nerve of \({\mathbf A}\). The authors show that the homotopy colimit functor is a left Quillen equivalence from \({\mathbf {sSets}}^{\mathbf A}\) to \({\mathbf {sSets}}/N{\mathbf A}\) and that the rectification functor is a left Quillen equivalence from \({\mathbf {sSets}}/N{\mathbf A}\) to \({\mathbf {sSets}}^{\mathbf A}\). They deduce that a categorical equivalence between two simplicial sets \(X\) and \(Y\) induces a Quillen equivalence between the categories of simplicial sets over \(X\) and \(Y\). They also obtain a version of Quillen's Theorem A for \(\infty\)-categories.