  Here we prove a Poincar\'e-Verdier duality theorem for the o-minimal sheaf
cohomology with definably compact supports of definably normal, definably
locally compact spaces in an arbitrary o-minimal structure.
