Model categories for o-minimal geometry

Authors Reid William Barton, Johan Commelin

Publication date 26 August 2021

Model theory of ordered structures; o-minimality (03C64) Grothendieck topologies and Grothendieck topoi (18F10) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Topological categories, foundations of homotopy theory (55U40)

Abstract: 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.

This page was built for publication: Model categories for o-minimal geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6376092)