Base Change Functor

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.