nLab derived inverse image

Contents

Idea

The derived functor of an inverse image functor.

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

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