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.
No takes yet. Share an insight, caveat, or question.
Edmundo et al. (2024) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: