sentences:  From this perspective the derived category is necessary in the study of singular spaces.If formula_5 is a finite-dimensional locally compact space, and formula_18 the bounded derived category of sheaves of abelian groups over formula_5, then the Verdier dual is a contravariant functor
  
  defined by
  
  It has the following properties