The classical homotopy category is cartesian closed

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