Model categories for o-minimal geometry

Reid Barton, Johan Commelin

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…