nLab derived direct image

Contents

Idea

The derived functor of a direct image functor.

A model for the direct image (infinity,1)-functor.

Created on October 13, 2013 at 02:41:32. See the history of this page for a list of all contributions to it.