Restriction des Scalaires

Le foncteur qui considère un objet défini sur une base plus grande S comme un objet sur une base plus petite R via un morphisme de bases f : R → S, réalisé en général en oubliant la structure S-linéaire supplémentaire et en regardant le module, l'algèbre ou la représentation sous l'action précomposée par f.