I'm somewhat familiar with base change in scheme theory: sometimes a property of a morphism `X \to Y`

survives a *base change* `f:Z\to Y`

, meaning that `X \times_{Y} Z \to Z`

also has this property.

Question:Is the base change in number theory and derived algebraic geometry the same thing as above? What would be the examples?