Model categories for o-minimal geometry
Algebraic Topology
2021-08-27 v1 Category Theory
Logic
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.
Cite
@article{arxiv.2108.11952,
title = {Model categories for o-minimal geometry},
author = {Reid Barton and Johan Commelin},
journal= {arXiv preprint arXiv:2108.11952},
year = {2021}
}
Comments
99 pages, 2 figures