The higher direct image functors are the derived functors of the pushforward functor.
Created on July 20, 2010 at 11:41:37. See the history of this page for a list of all contributions to it.