Restriction de Changement de Structure

Le processus consistant à tirer en arrière ou à oublier une partie d'une structure algébrique le long d'un morphisme : typiquement la restriction des scalaires, le pullback de modules ou de faisceaux, ou l'oubli d'opérations supplémentaires afin qu'un objet porte une structure sur une base différente ; formellement obtenu par précomposition avec la flèche définissante.