  We introduce a model category of spaces based on the definable sets of an
o-minimal expansion of a real closed field. As a model category, it resembles
the category of topological spaces, but its underlying category is a coherent
topos. We will show in future work that its cofibrant objects are precisely the
"weak polytopes" of Knebusch.
