In this paper we construct, for F1 and F2 subbundles of a vector bundle E, a ‘Koszul duality’ equivalence between derived categories of m-equivariant coherent(dg-)sheaves on the derived intersection , and the corresponding derived intersection . We also propose applications to Hecke algebras.