The six Grothendieck operations on o-minimal sheaves
  In this paper we develop the formalism of the Grothendieck six operations on o-minimal sheaves. The Grothendieck formalism allows us to obtain o-minimal versions of: (i) derived projection formula; (ii) universal coefficient formula; (iii) derived base change formula; (iv) K\"unneth formula; (v) local and global Verdier duality. 
Mario J. Edmundo, Luca Prelli
math.AG