O-minimality is a branch of model theory, with roots in real algebraic geometry, that provides a setting for "tame topology". This talk will describe the construction of a model category of spaces based on a given o-minimal structure, and give a taste of how algebraic topology can be developed in this framework.
Based on joint work with Johan Commelin.