nLab
higher direct image

The higher direct image functors are the derived functors of the pushforward? functor.