A functor induced by a morphism of base objects that transports fibered or parametrized structures along that morphism, commonly realized as pullback (inverse image) and sometimes as pushforward operations relating categories over different bases.

Principle

Given a morphism f:B'→B between base objects, base change produces a functor f^* (and often adjoint functors f_* or f_!) between the categories of objects parametrized over B and over B', defined by forming pullbacks (fiber products) or their universal replacements and satisfying naturality and base-change compatibilities.

Demonstration

For sheaves on topological spaces, a continuous map f:X→Y induces a pullback functor f^{-1}: Sh(Y)→Sh(X) that takes a sheaf on Y to its inverse image on X; in algebraic geometry, a morphism of schemes yields the usual pullback of quasicoherent sheaves via tensoring with the structure sheaf of the source.

Misapplication

Confusing base change with mere restriction of underlying sets or assuming base-change functors preserve all properties (e.g., exactness, finite presentation) without checking hypotheses leads to incorrect conclusions about preservation of structure.

Consequence

Base change organizes how local or fiberwise data behave under maps of bases, gives canonical comparison morphisms (base-change maps), and is essential for descent, compatibility of adjoints, and transferring geometric or algebraic structure across varying parameters.

Reversal

Pushing forward along the base morphism (f_* or f_!) goes in the opposite direction and typically loses fiberwise information; adjunction relates these directions but they are not interchangeable without extra hypotheses (properness, flatness, etc.).

Boundary

Applies when objects are presented as varying over a base (fibered categories, sheaves, bundles, schemes); it does not generically apply to constructions oblivious to base parametrization and requires limits or exactness conditions for certain properties to hold.

Semantic Tension

Tension exists between base change as a formal categorical pullback versus concrete operations like change of scalars in algebra; practitioners may conflate geometric pullback with algebraic tensor operations without recognising required flatness or finiteness conditions.

Synthesis

The base-change functor is the canonical way to reparametrise fibered data along a morphism of bases: pullbacks give the fiberwise transferred objects, while pushforwards and adjoints record how global data assemble, together encoding compatibility of parametrized structures.