Homotopy fiber products of homotopy theories (Q1758940): Difference between revisions

Let \[ F_1:{\mathcal M}_1\to{\mathcal M}_3,\qquad F_2:{\mathcal M}_2\to{\mathcal M}_3 \] be left Quillen functors between model categories. Then there is a homotopy fibre product model category whose objects are pairs of morphisms \[ u: F_1(x_1)\to x_3,\qquad v: F_2(x_2)\to x_3 \] in \({\mathcal M}_3\), where \(x_1,x_2,x_3\) are objects in the appropriate original categories. There is also a stricter variant of the homotopy fibre product, obtained by requiring \(u\) and \(v\) to be weak equivalences. These homotopy fibre products are not obtained from a model category structure on the category of model categories; indeed no such structure is known. But there is a functor \(L_C\) from the category of model categories to the category of complete Segal spaces, and the category of complete Segal spaces is a model category. The author considers the images of the homotopy fibre products under the functor \(L_C\). She shows that the image of the stricter variant is a homotopy pullback, and she describes the image of the less strict variant.