Change-of-Structure Restriction

The process of pulling back or forgetting part of an algebraic structure along a morphism — typically restricting scalars, pulling back modules or sheaves, or forgetting extra operations so that an object acquires structure over a different base; formally produced by precomposition with the defining map.