A derived intersection or homotopy intersection is an intersection computed in the homotopy theory of derived geometry.
derived critical locus
BV-complex
Last revised on December 6, 2017 at 00:02:28. See the history of this page for a list of all contributions to it.