{"id":"arxiv/2610.20428","url":"https://arxiv.org/abs/2610.20428","tags":["math.AT","math.CT"],"score":0,"title":"The classical homotopy category is cartesian closed","domain":"math.AT","source":"arxiv","authors":["Zhen Lin Low"],"reviews":0,"subject":"math.AT","summary":"The category of all topological spaces and homotopy classes of maps is cartesian closed. In fact, the $(\\infty, 1)$-category of all topological spaces and continuous maps, localised at homotopy equivalences, is cartesian closed. We model the exponential object using a topological space whose points are continuous maps equipped with putative neighbourhood filters. In general, this topological space will not even be $T_1$-separated, but the evaluation map induces a natural weak homotopy equivalence witnessing the universal property.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-14","reactions":{}}