Homotopy limits of model categories and more general homotopy theories (Q2880382)

Quillen's model categories provide a powerful framework where abstract homotopy theory can be developed. Although, at the moment, there is no known model structure on the category of model categories, a construction of homotopy pullback of model categories was studied by the author in her preprint `Homotopy fiber products of homotopy theories' to appear in Israel J. Math. This definition was confirmed the correct one by regarding model categories as nice examples of a more general notion of homotopy theories and taking into account that there is a model structure on the collection of all homotopy theories. In this paper the author works with the complete Segal spaces as model for such homotopy theories. She generalizes the definition of homotopy fiber products by giving a definition of the homotopy limit of a diagram of left Quillen functors between model categories. With the same quoted approach, the author establishes the validity of this definition of homotopy limit of model categories.