Foncteur de Changement de Base

Un foncteur induit par un morphisme d’objets de base qui transporte des structures fibrées ou paramétrées le long de ce morphisme, réalisé couramment comme image réciproque (pullback) et parfois comme images directes reliant des catégories sur des bases différentes.