Key points are not available for this paper at this time.
Abstract 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.
Edmundo et al. (Tue,) studied this question.