Transformada de Fourier–Mukai

Un funtor integral entre categorías derivadas acotadas de haces coherentes en variedades algebraicas definido por un objeto (el núcleo) en el producto, que con frecuencia produce equivalencias y transporta información geométrica a través de categorías derivadas.

Un transformador integral entre categorías derivadas acotadas de haces coherentes D^b(X) → D^b(Y) determinado por un objeto (el núcleo) P en D^b(X×Y); envía F ∈ D^b(X) a Rπ_{Y*}(π_X^*F ⊗^L P) y codifica correspondencias entre X e Y a nivel derivado.