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.

Prinzip

Gegeben ein Morphismus f:B'→B zwischen Basen, erzeugt der Basiswechsel einen Funktor f^* (und oft adjungierte Funktoren f_* oder f_!) zwischen den Kategorien von über B bzw. B' parametrierten Objekten, definiert durch Bildung von Pullbacks (Faserprodukten) oder deren universellen Ersatz und erfüllt natürliche Basiswechsel-Kompatibilitäten.

Demonstration

Für Garben auf topologischen Räumen induziert eine stetige Abbildung f:X→Y einen Pullback-Funktor f^{-1}: Sh(Y)→Sh(X), der eine Garbe auf Y auf ihr Urbild auf X zieht; in der Algebraischen Geometrie liefert ein Morphismus von Schemata das gewohnte Pullback von quasikohärenten Garben durch Tensorieren mit dem Strukturrand der Quelle.

Fehlanwendung

Basiswechsel mit einfacher Einschränkung zugrundeliegender Mengen zu verwechseln oder anzunehmen, Basiswechsel-Funktoren erhielten alle Eigenschaften (z. B. Exaktheit, endliche Präsentation) ohne Überprüfung der Hypothesen, führt zu falschen Schlüssen über die Erhaltung von Struktur.

Konsequenz

Basiswechsel ordnet das Verhalten lokaler oder faserweiser Daten unter Basismorphismen, liefert kanonische Vergleichsmorphismen (Basiswechselabbildungen) und ist wesentlich für Deszent, die Kompatibilität von Adjunkten und den Transfer geometrischer oder algebraischer Struktur bei veränderlichen Parametern.

Umkehrung

Das Pushforward entlang des Basismorphismus (f_* oder f_!) geht in die entgegengesetzte Richtung und verliert typischerweise faserweise Information; durch Adjungation stehen diese Richtungen im Verhältnis, sind aber ohne zusätzliche Hypothesen (Eigenschaft wie Properness, Flachheit) nicht austauschbar.

Abgrenzung

Gilt, wenn Objekte als über einer Basis variierend präsentiert werden (gefaserte Kategorien, Garben, Bündel, Schemata); sie gilt nicht allgemein für Konstruktionen, die gegenüber einer Basisparametrisierung indifferent sind, und setzt für die Erhaltung bestimmter Eigenschaften Existenz von Limiten oder Exaktheitsbedingungen voraus.

Semantische Spannung

Es besteht Spannung zwischen dem formal-kategorialen Pullback-Begriff und konkreten Operationen wie Skalarwechsel in der Algebra; man verwechselt leicht geometrisches Pullback mit algebraischem Tensorprodukt, ohne erforderliche Flachheits- oder Endlichkeitsbedingungen zu beachten.

Synthese

Der Basiswechsel-Funktor ist die kanonische Art, gefaserte Daten entlang eines Basismorphismus neu zu parametrieren: Pullbacks liefern die faserweise übertragenen Objekte, während Pushforwards und Adjunkte festhalten, wie globale Daten zusammengesetzt werden, und zusammen die Kompatibilität parametrisierter Strukturen kodieren.