derived intersection

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.