Funtor de Cambio de Base

Un funtor inducido por un morfismo de objetos base que transporta estructuras fibradas o parametrizadas a lo largo de ese morfismo, comúnmente realizado como imagen inversa (pullback) y a veces como operaciones de empuje que relacionan categorías sobre bases diferentes.