arXiv Analytics

Sign in

arXiv:2108.11952 [math.AT]AbstractReferencesReviewsResources

Model categories for o-minimal geometry

Reid Barton, Johan Commelin

Published 2021-08-26Version 1

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.

Comments: 99 pages, 2 figures
Categories: math.AT, math.CT, math.LO
Subjects: 55U40, 03C64, 18F10, 55U35
Related articles: Most relevant | Search more
arXiv:1010.0717 [math.AT] (Published 2010-10-04, updated 2012-04-24)
Homotopy limits of model categories and more general homotopy theories
arXiv:1304.3622 [math.AT] (Published 2013-04-12)
On model structure for coreflective subcategories of a model category
arXiv:math/0106052 [math.AT] (Published 2001-06-07)
Homotopy Ends and Thomason Model Categories

Links

Toolbox