The derived functor of a direct image functor.
A model for the direct image (infinity,1)-functor.
abelian sheaf cohomology
derived inverse image
Ext, Tor
six operations
Created on October 13, 2013 at 02:41:32. See the history of this page for a list of all contributions to it.