Filter Quotient Model Structures

TL;DR

This paper demonstrates that the filter quotient construction preserves certain model category properties and extends to $alculus categories, providing a new method for constructing models in categorical logic.

Contribution

It proves that filter quotient constructions preserve model structures and inherit key properties, extending their applicability to $alculus categories.

Findings

Preserves model structures under certain conditions

Inherits properties like being simplicial or proper

Does not necessarily preserve cofibrant generation

Abstract

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.