Basiswechsel-Funktor
Definition
Ein durch einen Morphismus der Basen induzierter Funktor, der gefaserte oder parametrisierte Strukturen entlang dieses Morphismus transportiert, meist realisiert als Pullback (Inverse Bild) und manchmal als Pushforward-Operationen, die Kategorien über verschiedenen Basen miteinander verknüpfen.