Geometric Fourier--Mukai constructions

Scheme-derived kernels, convolution, associativity, and adjunction realizing the generic categorical Fourier--Mukai interfaces. Declarations in this subtree use AlgebraicGeometry.DerivedCategory.FourierMukai.