Synthetic approach to the Quillen model structure on topological spaces

Ebel, Sterling¹ ; Kapulkin, Krzysztof¹

¹Department of Mathematics, University of Western Ontario, London, ON, Canada

Algebraic and Geometric Topology, Tome 25 (2025) no. 2, pp. 1227-1264

Résumé

We provide an axiomatic treatment of Quillen’s construction of the model structure on topological spaces to make it applicable to a wider range of settings, including Δ-generated spaces and pseudotopological spaces. We use this axiomatization to construct a model structure on the category of locales.

Détail

DOI : 10.2140/agt.2025.25.1227

Keywords: model structure, topological spaces, locales, pseudotopological spaces

Bibliographie

[1] B Banaschewski, Bourbaki’s fixpoint lemma reconsidered, Comment. Math. Univ. Carolin. 33 (1992) 303

[2] P Bubenik, N Milićević, Homotopy, homology, and persistent homology using closure spaces, J. Appl. Comput. Topol. 8 (2024) 579 | DOI

[3] X D Chen, On binary coproducts of frames, Comment. Math. Univ. Carolin. 33 (1992) 699

[4] S Dolecki, F Mynard, Convergence foundations of topology, World Scientific (2016) | DOI

[5] L Fajstrup, J Rosický, A convenient category for directed homotopy, Theory Appl. Categ. 21 (2008) 7

[6] T Haraguchi, On model structure for coreflective subcategories of a model category, Math. J. Okayama Univ. 57 (2015) 79

[7] H Herrlich, Topological improvements of categories of structured sets, Topology Appl. 27 (1987) 145 | DOI

[8] H Herrlich, E Lowen-Colebunders, F Schwarz, Improving Top : PrTop and PsTop, from: "Category theory at work" (editors H Herrlich, H E Porst), Res. Exp. Math. 18, Heldermann (1991) 21

[9] P S Hirschhorn, Model categories and their localizations, 99, Amer. Math. Soc. (2003) | DOI

[10] P S Hirschhorn, The Quillen model category of topological spaces, Expo. Math. 37 (2019) 2 | DOI

[11] M Hovey, Model categories, 63, Amer. Math. Soc. (1999) | DOI

[12] P T Johnstone, Stone spaces, 3, Cambridge Univ. Press (1982)

[13] A Joyal, The theory of quasi-categories and its applications, lecture notes (2008)

[14] A Joyal, M Tierney, An extension of the Galois theory of Grothendieck, 309, Amer. Math. Soc. (1984) | DOI

[15] E Lowen-Colebunders, G Sonck, Exponential objects and Cartesian closedness in the construct Prtop, Appl. Categ. Structures 1 (1993) 345 | DOI

[16] J P May, K Ponto, More concise algebraic topology: localization, completion, and model categories, Univ. of Chicago Press (2012)

[17] F Morel, V Voevodsky, A1-homotopy theory of schemes, Inst. Hautes Études Sci. Publ. Math. 90 (1999) 45

[18] S B Niefield, Cartesianness: topological spaces, uniform spaces, and affine schemes, J. Pure Appl. Algebra 23 (1982) 147 | DOI

[19] J Picado, A Pultr, Frames and locales: topology without points, Springer (2012) | DOI

[20] D G Quillen, Homotopical algebra, 43, Springer (1967) | DOI

[21] A Rieser, Čech closure spaces : a unified framework for discrete and continuous homotopy, Topology Appl. 296 (2021) | DOI

[22] A Rieser, Cofibration and model category structures for discrete and continuous homotopy, preprint (2022)

[23] N E Steenrod, A convenient category of topological spaces, Michigan Math. J. 14 (1967) 133

[24] N P Strickland, The category of cgwh spaces, preprint (2009)

[25] R W Thomason, Cat as a closed model category, Cahiers Topologie Géom. Différentielle 21 (1980) 305

[26] R M Vogt, Convenient categories of topological spaces for homotopy theory, Arch. Math. (Basel) 22 (1971) 545 | DOI

[27] R M Vogt, A note on homotopy equivalences, Proc. Amer. Math. Soc. 32 (1972) 627 | DOI