## New Model Categories From Old (1995)

Venue: | J. Pure Appl. Algebra |

Citations: | 15 - 6 self |

### BibTeX

@ARTICLE{Blanc95newmodel,

author = {David Blanc},

title = {New Model Categories From Old},

journal = {J. Pure Appl. Algebra},

year = {1995},

volume = {109},

pages = {37--60}

}

### OpenURL

### Abstract

. We review Quillen's concept of a model category as the proper setting for defining derived functors in non-abelian settings, explain how one can transport a model structure from one category to another by mean of adjoint functors (under suitable assumptions), and define such structures for categories of cosimplicial coalgebras. 1. Introduction Model categories, first introduced by Quillen in [Q1], have proved useful in a number of areas -- most notably in his treatment of rational homotopy in [Q2], and in defining homology and other derived functors in non-abelian categories (see [Q3]; also [BoF, BlS, DwHK, DwK, DwS, Goe, ScV]). From a homotopy theorist's point of view, one interesting example of such non-abelian derived functors is the E 2 -term of the mod p unstable Adams spectral sequence of Bousfield and Kan. They identify this E 2 -term as a sort of Ext in the category CA of unstable coalgebras over the mod p Steenrod algebra (see x7.4). The original purpose of this note w...

### Citations

298 | Simplicial objects in algebraic topology - May - 1967 |

184 | Hopf Algebras - Sweedler - 1969 |

174 | Topologie Algébrique et Théorie des Faisceaus - Godement - 1958 |

164 | Homotopy theory of Γ-spaces, spectra, and bisimplicial sets - Bousfield, Friedlander - 1978 |

80 | Universal Algebra - Cohn - 1965 |

73 | Adjoint functors and triples - Eilenberg, Moore - 1965 |

71 | Theory of Categories - Mitchell - 1965 |

68 |
On the (co)homology of commutative rings
- Quillen
- 1970
(Show Context)
Citation Context ...llen in [Q1], have proved useful in a number of areas -- most notably in his treatment of rational homotopy in [Q2], and in defining homology and other derived functors in non-abelian categories (see =-=[Q3]-=-; also [BoF, BlS, DwHK, DwK, DwS, Goe, ScV]). From a homotopy theorist's point of view, one interesting example of such non-abelian derived functors is the E 2 -term of the mod p unstable Adams spectr... |

61 | Categories for the Working Mathematician (Springer-Verlag - Lane - 1971 |

60 | Homology of symmetric products and other functors of complexes - Dold - 1958 |

46 |
Homologie nicht-additiver Funktoren
- Dold, Puppe
- 1961
(Show Context)
Citation Context ... which is equal to C in each dimension. When T is an additive functor between abelian categories with enough projectives, this reduces to the usual definition of derived functors (see also [Bo2, x7], =-=[DoP]-=-, [EM2], & [Hu]). We have avoided the question of when a functor will in fact preserve weak equivalences between cofibrant objects. This depends on the specific model categories in question (see Remar... |

26 | Equivalences between homotopy theories of diagrams - Dwyer, Kan - 1987 |

24 |
On axiomatic homology theory
- Milnor
- 1962
(Show Context)
Citation Context ... in cohomology, and epic in cohomology through dimension n. 20 DAVID BLANC Note that since the maps p (n) are isomorphisms in degreessn, there is no lim 1 in calculating H i C = H i (lim C (n) ) (cf. =-=[Mil]-=-). This problem did not arise in the dual case (x4.2 and Proposition 5.2), since colim is exact. Note that M = R-Mod has functorial injective envelopes (constructed as in [Mac2, III, 7.4]). The constr... |

19 | On the André-Quillen cohomology of commutative F2-algebras, Astérisque 186 - Goerss - 1990 |

18 |
J.Beck, Homology and standard constructions
- Barr
- 1969
(Show Context)
Citation Context ...t hold for such a B (compare [BaW, 3.3, Thm. 9]). However, for the purposes of "homotopical algebra", further assumptions may be needed. In particular, in order for the "triple derived =-=functors" (cf. [BaB]-=-) of T to coincide with the right derived functors (as defined in x4.11), we would want GA to be an injective in B for any A 2 M. This will be true, for example, if all objects in M are injective (e.g... |

18 | Homotopy theory of \Gamma-spaces, spectra, and bisimplicial sets - Bousfield, Friedlander - 1978 |

12 |
Coequalizers in categories of algebras
- Linton
- 1969
(Show Context)
Citation Context ...rphismssFL 1 ! FL 0 , namely: d 0 , induced by the natural transformation " FU(j) for every j 2 I, and d 1 , induced by FU(" j ). We require that colim S be the coequalizer (in C) of d 0 and=-= d 1 (see [L]-=- or [Mac1, X, x1]; there seems to be no accepted name for this procedure). In order for this construction to be of use, we need some information on coequalizers in C -- at least for those which appear... |

10 |
Closed model structures for algebraic models of n-types
- Cabello, Garzon
(Show Context)
Citation Context ...dgements 1.3. I would like to thank the referee for many useful comments, and in particular for suggesting Theorem 4.15 in its present generality. NEW MODEL CATEGORIES FROM OLD 3 I understand that in =-=[CaG]-=-, Cabello and Garz'on have also given conditions for defining model category structures by means of adjoint functors. 2. Model categories We begin with an exposition of Quillen's theory of model categ... |

10 |
Homotopy theory in general categories
- Huber
- 1961
(Show Context)
Citation Context ...to C in each dimension. When T is an additive functor between abelian categories with enough projectives, this reduces to the usual definition of derived functors (see also [Bo2, x7], [DoP], [EM2], & =-=[Hu]-=-). We have avoided the question of when a functor will in fact preserve weak equivalences between cofibrant objects. This depends on the specific model categories in question (see Remark 7.8 below). 8... |

10 | Theory of categories, Pure and - Mitchell - 1965 |

9 | A generalized Grothendieck spectral sequence - Blanc, Stover - 1992 |

9 |
Rational homotopy theory", Ann
- Quillen
- 1969
(Show Context)
Citation Context ...gories of cosimplicial coalgebras. 1. Introduction Model categories,srst introduced by Quillen in [Q1], have proved useful in a number of areas { most notably in his treatment of rational homotopy in =-=[Q2]-=-, and in dening homology and other derived functors in non-abelian categories (see [Q3]; also [BoF, BlS, DwHK, DwK, DwS, Goe, ScV]). From a homotopy theorist’s point of view, one interesting example ... |

8 | The homotopy spectral sequence of a space with coefficients in a ring, Topology 11 - BOUSFIELD, KAN - 1972 |

8 | The homotopy theory of cyclic sets - Dwyer, Hopkins, et al. - 1985 |

5 |
Homotopical Algebra, Springer-Verlag Lec
- Quillen
- 1963
(Show Context)
Citation Context ...nother by mean of adjoint functors (under suitable assumptions), and define such structures for categories of cosimplicial coalgebras. 1. Introduction Model categories, first introduced by Quillen in =-=[Q1]-=-, have proved useful in a number of areas -- most notably in his treatment of rational homotopy in [Q2], and in defining homology and other derived functors in non-abelian categories (see [Q3]; also [... |

5 | The homotopy spectral sequence of a space with coecients in a ring, Topology 11 - Bous, Kan - 1972 |

4 | Toposes, Triples and Theories , Springer-Verlag - Barr, Wells - 1985 |

4 | Derived functors of graded algebras - Blanc - 1990 |

3 |
Foundations of relative homological algebra, Mem
- Eilenberg, Moore
- 1965
(Show Context)
Citation Context ...is equal to C in each dimension. When T is an additive functor between abelian categories with enough projectives, this reduces to the usual definition of derived functors (see also [Bo2, x7], [DoP], =-=[EM2]-=-, & [Hu]). We have avoided the question of when a functor will in fact preserve weak equivalences between cofibrant objects. This depends on the specific model categories in question (see Remark 7.8 b... |

3 | The categories of A1- and E1-monoids and ring spaces as closed simplicial and topological model categories - Schwänzl, Vogt - 1991 |

3 |
The homotopy category is a homotopy category
- Strm
- 1972
(Show Context)
Citation Context ...motivating example of a model category is the category Top of topological spaces, with W the class of homotopy equivalences, C the class of cofibrations, and F the class of (Hurewicz) fibrations (cf. =-=[St]-=-). An alternative model category structure on Top is given in [Q1, II,x3]. However, for our purposes the basic example of a model category will be the categorysS of simplicial sets, with W the class o... |

3 | Localization of Spaces with Respect to Homology. Topology 14 - Bous - 1975 |

2 | The localization of spaces with respect to homology", Topology 14 - Bousfield - 1975 |

2 | Nice homology coalgebras", Trans - Bousfield - 1970 |

2 | The Andr'e-Quillen cohomology of commutative F 2 -algebras," Ast'erisque 186 - Goerss - 1990 |

1 | Homotopy theories and model categories", U. Notre Dame preprint - Dwyer - 1994 |

1 |
Homotopy theories, Mem. AMS. 383
- Heller
- 1988
(Show Context)
Citation Context ...rce of a model category; in fact, it is often convenient to have additional structure, such as simplicial Hom-objects (cf. [Q1, II, x1]), properness (cf. [BoF, Def. 1.2]), and so on (see [Bau, I] and =-=[He, II] for more -=-general treatments). However, for the purposes of "homotopical algebra" -- i.e., homological algebra in non-abelian categories -- it is enough to have an RMC or an LMC (see xx2.14-2.16 below... |

1 |
Rational homotopy theory", Ann
- Quillen
- 1969
(Show Context)
Citation Context ...ies of cosimplicial coalgebras. 1. Introduction Model categories, first introduced by Quillen in [Q1], have proved useful in a number of areas -- most notably in his treatment of rational homotopy in =-=[Q2]-=-, and in defining homology and other derived functors in non-abelian categories (see [Q3]; also [BoF, BlS, DwHK, DwK, DwS, Goe, ScV]). From a homotopy theorist's point of view, one interesting example... |

1 | Introduction to Axiomatic Set Theory , Springer-Verlag Grad - Takeuti - 1971 |

1 | Nice homology coalgebras", Trans - Bous - 1979 |

1 | Homotopy theories and model categories", U. Notre Dame preprint - Dwyer, Spalinski - 1994 |