##  [Base Change Functor](/base-change-functor-0) 

 Definition

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

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

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

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

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

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

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

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

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.