sentences:  Suppose "X" is a compact orientable "n"-dimensional manifold, "k" is a field and "k"X is the constant sheaf on "X" with coefficients in "k".Let "f=p" be the constant map.Global Verdier duality then states
  To understand how Poincaré duality is obtained from this statement, it is perhaps easiest to understand both sides piece by piece.