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.