Extended Abstracts Fall 2013 pp 87-92 | Cite as
Made-to-Order Weak Factorization Systems
Conference paper
Abstract
For a cocomplete category M which satisfies certain “smallness” condition (such as being locally presentable), the algebraic small object argument defines the functorial factorization necessary for a “made-to-order” weak factorization system with right class
Notes
Acknowledgements
I would like to thank Steve Awodey for sparking my interest in homotopy type theory and encouraging me to keep in touch with recent progress.
References
- 1.T. Barthel, J.P. May, E. Riehl, Six model structures for DG-modules over DGAs: model category theory in homological action (2013, preprint). arXiv:1310.1159Google Scholar
- 2.T. Barthel, E. Riehl, On the construction of functorial factorizations for model categories. Algebr. Geom. Topol. 13, 1089–1124 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
- 3.M. Bezem, T. Coquand, S. Huber, A model of type theory in cubical sets (2014, preprint). http://www.cse.chalmers.se/~coquand/mod1.pdf
- 4.J.D. Christensen, M. Hovey, Quillen model structures for relative homological algebra. Math. Proc. Camb. Phil. Soc. 133, 261–293 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
- 5.R. Garner, Understanding the small object argument. Appl. Categ. Struct. 17, 247–285 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
- 6.G.M. Kelly, A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on. Bull. Aust. Math. Soc. 22(1), 1–83 (1980)MathSciNetCrossRefzbMATHGoogle Scholar
- 7.S. Lack, Homotopy-theoretic aspects of 2-monads. J. Homotopy Relat. Struct. 2(2), 229–260 (2007)MathSciNetzbMATHGoogle Scholar
- 8.E. Riehl, Algebraic model structures. N. Y. J. Math. 17, 173–231 (2011)MathSciNetzbMATHGoogle Scholar
- 9.E. Riehl, Categorical homotopy theory. New Mathematical Monographs (to appear in, Cambridge University Press, 2013). http://www.math.harvard.edu/~eriehl/cathtpy.pdf
Copyright information
© Springer International Publishing Switzerland 2015