Algebraic & Geometric Topology

On the construction of functorial factorizations for model categories

Tobias Barthel and Emily Riehl

Full-text: Open access

PDF File (429 KB)

Abstract

We present general techniques for constructing functorial factorizations appropriate for model structures that are not known to be cofibrantly generated. Our methods use “algebraic” characterizations of fibrations to produce factorizations that have the desired lifting properties in a completely categorical fashion. We illustrate these methods in the case of categories enriched, tensored and cotensored in spaces, proving the existence of Hurewicz-type model structures, thereby correcting an error in earlier attempts by others. Examples include the categories of (based) spaces, (based) G–spaces and diagram spectra among others.

Article information

Source
Algebr. Geom. Topol., Volume 13, Number 2 (2013), 1089-1124.

Dates
Received: 10 May 2012
Revised: 29 November 2012
Accepted: 2 December 2012
First available in Project Euclid: 19 December 2017

Permanent link to this document
https://projecteuclid.org/euclid.agt/1513715550

Digital Object Identifier
doi:10.2140/agt.2013.13.1089

Mathematical Reviews number (MathSciNet)
MR3044604

Zentralblatt MATH identifier
1268.18001

Subjects
Primary: 55U35: Abstract and axiomatic homotopy theory 55U40: Topological categories, foundations of homotopy theory
Secondary: 18A32: Factorization of morphisms, substructures, quotient structures, congruences, amalgams 18G55: Homotopical algebra

Keywords
functorial factorizations Hurewicz fibrations algebraic weak factorization systems

Citation

Barthel, Tobias; Riehl, Emily. On the construction of functorial factorizations for model categories. Algebr. Geom. Topol. 13 (2013), no. 2, 1089--1124. doi:10.2140/agt.2013.13.1089. https://projecteuclid.org/euclid.agt/1513715550


Export citation

References

  • B van den Berg, R Garner, Topological and simplicial models of identity types, ACM Trans. Comput. Log. 13 (2012) Art. 3, 44
    Mathematical Reviews (MathSciNet): MR2893018
    Zentralblatt MATH: 1352.03012
    Digital Object Identifier: doi:10.1145/2071368.2071371
  • F Borceux, Handbook of categorical algebra, $1$, Encyclopedia of Mathematics and its Applications 50, Cambridge Univ. Press (1994)
    Mathematical Reviews (MathSciNet): MR1291599
  • B Chorny, A generalization of Quillen's small object argument, J. Pure Appl. Algebra 204 (2006) 568–583
    Mathematical Reviews (MathSciNet): MR2185618
    Zentralblatt MATH: 1086.55012
    Digital Object Identifier: doi:10.1016/j.jpaa.2005.06.013
  • J Cockett, Category theory for computer science (2009) Available at \setbox0\makeatletter\@url http://pages.cpsc.ucalgary.ca/~robin/ {\unhbox0
    URL: Link to item
  • M Cole, Many homotopy categories are homotopy categories, Topology Appl. 153 (2006) 1084–1099
    Mathematical Reviews (MathSciNet): MR2203021
    Zentralblatt MATH: 1097.55013
    Digital Object Identifier: doi:10.1016/j.topol.2005.02.006
  • M Cole, Mixing model structures, Topology Appl. 153 (2006) 1016–1032
    Mathematical Reviews (MathSciNet): MR2203016
    Zentralblatt MATH: 1094.55015
    Digital Object Identifier: doi:10.1016/j.topol.2005.02.004
  • R Garner, Cofibrantly generated natural weak factorisation systems
    arXiv: math/0702290
  • R Garner, Understanding the small object argument, Appl. Categ. Structures 17 (2009) 247–285
    Mathematical Reviews (MathSciNet): MR2506256
    Zentralblatt MATH: 1173.55009
    Digital Object Identifier: doi:10.1007/s10485-008-9137-4
  • R Garner, Homomorphisms of higher categories, Adv. Math. 224 (2010) 2269–2311
    Mathematical Reviews (MathSciNet): MR2652207
    Zentralblatt MATH: 1205.18004
    Digital Object Identifier: doi:10.1016/j.aim.2010.01.022
  • M Grandis, W Tholen, Natural weak factorization systems, Arch. Math. (Brno) 42 (2006) 397–408
    Mathematical Reviews (MathSciNet): MR2283020
    Zentralblatt MATH: 1164.18300
  • G M Kelly, A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on, Bull. Austral. Math. Soc. 22 (1980) 1–83
    Mathematical Reviews (MathSciNet): MR589937
    Zentralblatt MATH: 0437.18004
    Digital Object Identifier: doi:10.1017/S0004972700006353
  • L G J Lewis, The stable category and generalized Thom spectra, ProQuest LLC, Ann Arbor, MI (1978) Thesis (Ph.D.)–The University of Chicago
    Mathematical Reviews (MathSciNet): MR2611772
  • P J Malraison, Jr, Fibrations as triple algebras, J. Pure Appl. Algebra 3 (1973) 287–293
    Mathematical Reviews (MathSciNet): MR0331381
    Zentralblatt MATH: 0274.18006
    Digital Object Identifier: doi:10.1016/0022-4049(73)90032-7
  • M A Mandell, J P May, S Schwede, B Shipley, Model categories of diagram spectra, Proc. London Math. Soc. 82 (2001) 441–512
    Mathematical Reviews (MathSciNet): MR1806878
    Zentralblatt MATH: 1017.55004
    Digital Object Identifier: doi:10.1112/S0024611501012692
  • J P May, Classifying spaces and fibrations, Mem. Amer. Math. Soc. 1 (1975) xiii+98
    Mathematical Reviews (MathSciNet): MR0370579
    Zentralblatt MATH: 0321.55033
    Digital Object Identifier: doi:10.1090/memo/0155
  • J P May, K Ponto, More concise algebraic topology, Chicago Lectures in Mathematics, University of Chicago Press (2012) Localization, completion, and model categories
    Mathematical Reviews (MathSciNet): MR2884233
    Zentralblatt MATH: 1249.55001
  • J P May, J Sigurdsson, Parametrized homotopy theory, Mathematical Surveys and Monographs 132, American Mathematical Society (2006)
    Mathematical Reviews (MathSciNet): MR2271789
  • E Riehl, Algebraic model structures, New York J. Math. 17 (2011) 173–231
    Mathematical Reviews (MathSciNet): MR2781914
    Zentralblatt MATH: 1222.55016
  • R Schwänzl, R M Vogt, Strong cofibrations and fibrations in enriched categories, Arch. Math. (Basel) 79 (2002) 449–462
    Mathematical Reviews (MathSciNet): MR1967263
    Zentralblatt MATH: 1016.55003
    Digital Object Identifier: doi:10.1007/BF02638382
  • A Strøm, Note on cofibrations, Math. Scand. 19 (1966) 11–14
    Mathematical Reviews (MathSciNet): MR0211403
    Zentralblatt MATH: 0145.43604
    Digital Object Identifier: doi:10.7146/math.scand.a-10791
  • A Strøm, Note on cofibrations, II, Math. Scand. 22 (1968) 130–142
    Mathematical Reviews (MathSciNet): MR0243525
    Zentralblatt MATH: 0181.26504
    Digital Object Identifier: doi:10.7146/math.scand.a-10877
  • A Strøm, The homotopy category is a homotopy category, Arch. Math. (Basel) 23 (1972) 435–441
    Mathematical Reviews (MathSciNet): MR0321082
    Zentralblatt MATH: 0261.18015
    Digital Object Identifier: doi:10.1007/BF01304912
  • R Williamson, Cylindrical homotopy theory
    arXiv: 1304.0867

MSP

Algebraic & Geometric Topology

New content alerts

Email RSS ToC RSS Article
  • You have access to this content.
  • You have partial access to this content.
  • You do not have access to this content.
Turn Off MathJax

What is MathJax?

More like this

+ See more