Derived algebraic geometry

The geometric inputs and realizations of the generic categorical derived category: module-sheaf and coherent-sheaf derived categories, Dqc, scheme-indexed pullback, and geometric Fourier--Mukai kernels. Foundational scheme-derived declarations use AlgebraicGeometry.DerivedCategory; scheme-family declarations use AlgebraicGeometry.DerivedCategory.Families; Dqc declarations use AlgebraicGeometry.DerivedCategory.Dqc; geometric kernel declarations use AlgebraicGeometry.DerivedCategory.FourierMukai.