nLab
higher direct image

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

Created on July 20, 2010 at 11:42:36. See the history of this page for a list of all contributions to it.