nLab derived intersection

Contents

Idea

A derived intersection or homotopy intersection is an intersection computed in the homotopy theory of derived geometry.

Last revised on December 6, 2017 at 00:02:28. See the history of this page for a list of all contributions to it.