Emily Riehl (University of Chicago) Algebraic model structures Abstract: A model structure on a category provides a framework for doing homotopy theory whose main constructive tool consists of four classes of maps - the trivial cofibrations, fibrations, cofibrations, and trivial fibrations - which are defined so as to satisfy certain lifting properties with respect to each other. We'll present an algebraicization of Quillen's model structures that transform these properties into algebraic structure associated to the arrows in each of these classes. More precisely, the trivial cofibrations and fibrations are coalgebras and algebras for a comonad and monad, respectively, arising from the functorial factorization produced by a modified form of Quillen's small object argument. The same is true for the other pair, and there is a natural comparison between these two factorizations. Whenever a model structure is cofibrantly generated, this structural presentation exists and is equivalent to the usual property one, but this new perspective has several interesting features, which we describe. We conclude with a description of an "algebraic Quillen adjunction", which again exists in many familiar situations. |
|