nLab
higher direct image

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

Created on July 20, 2010 11:42:36 by Kevin Lin (76.126.172.57)