On Proper Direct Image in o-Minimal Expansions of Groups
摘要
We show that the formalism of the six Grothendieck operations holds in the sub-category of definably locally closed definable subsets equipped with the o-minimal site in o-minimal expansions of ordered groups.