arXiv:2108.11952 [math.AT]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords model category, o-minimal geometry, weak polytopes, real closed field, coherent topos Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset