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?