The Stacks project

Definition 35.4.15. The functor $f^*: \text{Mod}_ R \to DD_{S/R}$ is called base extension along $f$. We say that $f$ is a descent morphism for modules if $f^*$ is fully faithful. We say that $f$ is an effective descent morphism for modules if $f^*$ is an equivalence of categories.