  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 $\Delta$-generated spaces and pseudotopological spaces. We
use this axiomatization to construct a model structure on the category of
locales.
