Definition 36.35.1. Let f : X \to S be a morphism of schemes which is flat and locally of finite presentation. An object E of D(\mathcal{O}_ X) is perfect relative to S or S-perfect if E is pseudo-coherent (Cohomology, Definition 20.47.1) and E locally has finite tor dimension as an object of D(f^{-1}\mathcal{O}_ S) (Cohomology, Definition 20.48.1).
Comments (0)