arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2108.11952math.ATmath.CTmath.LO
收藏

O-极小几何的模型范畴

Model categories for o-minimal geometry

Reid Barton, Johan Commelin

摘要:

我们引入了一个模型范畴的空间的基础上的可定义的集合的o-最小扩张的实封闭的领域。作为一个模型范畴,它类似于拓扑空间的拓扑空间范畴,但它的基本范畴是一个连贯的拓扑。我们将在今后的工作中表明,它的凝聚对象正是“弱多面体”的Knebusch。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑