# nLab higher direct image

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