Filter Quotient Model Structures
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917320014692352 |
|---|---|
| author | Rasekh, Nima |
| author_facet | Rasekh, Nima |
| contents | The filter quotient construction is a particular instance of a filtered colimit of categories. It has primarily been considered in the context of categorical logic, where it has been used effectively to construct non-trivial models, for example new models of set theory.
In this work we prove that given a model category and a suitable notion of filter of subterminal objects, the filter quotient construction will preserve the model structure. We also show that this new model structure inherits certain important properties (such as being simplicial or proper), but not all (such as being cofibrantly generated). Finally, we show it is compatible with the construction of filter quotient $\infty$-categories. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_07735 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Filter Quotient Model Structures Rasekh, Nima Category Theory Algebraic Topology 18N40, 18N60, 18B25, 18C50 The filter quotient construction is a particular instance of a filtered colimit of categories. It has primarily been considered in the context of categorical logic, where it has been used effectively to construct non-trivial models, for example new models of set theory. In this work we prove that given a model category and a suitable notion of filter of subterminal objects, the filter quotient construction will preserve the model structure. We also show that this new model structure inherits certain important properties (such as being simplicial or proper), but not all (such as being cofibrantly generated). Finally, we show it is compatible with the construction of filter quotient $\infty$-categories. |
| title | Filter Quotient Model Structures |
| topic | Category Theory Algebraic Topology 18N40, 18N60, 18B25, 18C50 |
| url | https://arxiv.org/abs/2508.07735 |