Restriction of Scalars

The functor that views an object defined over a larger base S as an object over a smaller base R via a base map f: R → S, usually realized by forgetting the extra S-linear structure and regarding the underlying module, algebra, or representation as R-linear through f.