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 5, 2017 at 19:02:28. See the history of this page for a list of all contributions to it.