Abstract:For a diagram of simplicial combinatorial model categories, we show that the associated lax limit, endowed with the projective model structure, is a presentation of the lax limit of the underlying $\infty$-categories. Our approach can also allow for the indexing category to be simplicial, as long as the diagram factors through its homotopy category. Analogous results for the associated homotopy limit (and other intermediate limits) directly follow.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how the limit structures in model categories are related to the corresponding limit structures in ∞ -categories. Specifically, the author explores whether, given a diagram consisting of simplicial combinatorial model categories, its corresponding lax limit, after being endowed with the projective model structure, can serve as a representation of the lax limit of the underlying ∞ -categories represented by these model categories. In addition, the paper also discusses similar results in the case where the indexing category can be simplicial, and explores how to construct a model structure for E -limits through appropriate left Bousfield localizations.
### Core Problems of the Paper
1. **Lax Limits of Model Categories**: Study how to endow the lax limits of model categories with the projective model structure so that they become a representation of the lax limits of the underlying ∞ -categories.
2. **Model Structures of E -Limits**: Explore how to construct the model structures of E -limits through left Bousfield localizations and verify whether these model structures can correctly represent the corresponding ∞ -category E -limits.
3. **Simplicial Quillen Presheaves**: Pay special attention to the case of simplicial Quillen presheaves and study the model structures of their lax limits and E -limits.
### Main Contributions
- **Theoretical Framework**: Provide a theoretical framework for understanding and constructing the model structures of lax limits and E -limits of model categories.
- **Specific Results**: Prove that for simplicial Quillen presheaves, the lax limits under the projective model structure can indeed represent the lax limits of the underlying ∞ -categories.
- **Generalized Results**: Extend the results so that the indexing category can be a simplicial category, and provide a method for constructing the model structure of E -limits.
### Formulas and Concepts
- **Lax Limit**: For a diagram \( F: I \to \text{ModCat} \), its lax limit is a model category, denoted as \( \text{Sec}_I(M) \).
- **Projective Model Structure**: The model structure endowed on \( \text{Sec}_I(M) \), where weak equivalences and fibrations are defined point - by - point.
- **E -Limit**: For a subset \( E \) of morphisms in \( I \), the E -limit is a model structure constructed through left Bousfield localizations, denoted as \( \text{Sec}_{I,E}(M) \).
### Conclusion
The main conclusion of the paper is that for simplicial Quillen presheaves \( M: I \to \text{ModCat}^\Delta \), the lax limit \( \text{Sec}_{\text{proj}}^I(M) \) under the projective model structure can indeed represent the lax limit of the underlying ∞ -category. Moreover, for any set \( E \) of morphisms in \( I \), the simplicial category \( \text{Sec}_{\text{proj}}^{I,E}(M) \) can serve as a model for the E -limit of the ∞ -category.
Hope this summary is helpful for you to understand the core problems of the paper! If you have any further questions or need more detailed explanations, please feel free to let me know.