Cofibrantly generated model structures for functor calculus

Lauren Bandklayder,Julia E. Bergner,Rhiannon Griffiths,Brenda Johnson,Rekha Santhanam
2024-10-19
Abstract:Model structures for many different kinds of functor calculus can be obtained by applying a theorem of Bousfield to a suitable category of functors. In this paper, we give a general criterion for when model categories obtained via this approach are cofibrantly generated. Our examples recover the homotopy functor and $n$-excisive model structures of Biedermann and Röndigs, with different proofs, but also include a model structure for the discrete functor calculus of Bauer, Johnson, and McCarthy.
Algebraic Topology,Category Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to establish model structures for various types of functor calculi and ensure that these model structures are cofibrantly generated. Specifically, the authors obtain model structures for many kinds of functor calculi by applying Bousfield's theorem to appropriate functor categories. On this basis, they provide a general criterion for determining whether the model categories obtained in this way are cofibrantly generated. The paper mainly focuses on the following aspects: 1. **Establishing model structures**: The authors aim to establish model structures for different types of functor calculi (such as homotopy functor calculus and discrete functor calculus). 2. **Cofibrant generation**: To make these model structures more useful, the authors further explore whether these model structures are cofibrantly generated and provide a set of general criteria for this. 3. **Scope of application**: The application of these model structures is not limited to the existing homotopy functor calculus and n - derivable model structures, but also includes new model structures of discrete functor calculus. Through these works, the authors hope to re - examine and compare the relationship between the existing homotopy functor calculus and discrete calculus within the framework of model category theory and provide a solid theoretical basis for further research. ### Mathematical concepts involved - **Model Structure**: A structure defined in category theory to describe homotopy relations between objects. It consists of three types of maps: weak equivalences, fibrations, and cofibrations. \[ \text{Model Structure} = (\mathcal{C}, \mathcal{W}, \mathcal{F}) \] - **Cofibrantly Generated**: If a model structure can be described by a set of generating cofibrations and generating trivial cofibrations, it is called cofibrantly generated. - **Functor Calculus**: A technique for approximating functors, similar to the Taylor series expansion of functions. For a given functor \(F\), a tower \(P_nF\) is constructed to approximate \(F\), where \(P_nF\) is an "n - th approximation" in a certain sense. \[ F \to P_nF \to P_{n - 1}F \to \cdots \to P_0F \] Through these techniques, the authors hope to better understand different types of functor calculi and provide more solid theoretical support for them.