Der kategoriale Limes, der das universelle Objekt darstellt, das auf zwei Objekte abbildet, sodass die Kompositionen zu einem dritten Objekt übereinstimmen: gegeben B → A und C → A ist der Pullback B ×_A C das universelle Objekt mit Projektionen auf B und C, die das Diagramm kommutativ machen.

Prinzip

Charakterisiert durch die universelle Eigenschaft von Limiten: B ×_A C besitzt Projektionen p_B: B ×_A C → B und p_C: B ×_A C → C, so dass die Kompositionen nach A übereinstimmen, und für jedes X mit Abbildungen nach B und C, die über A kommutieren, gibt es eine eindeutige Abbildung X → B ×_A C, die das gesamte Diagramm kommutativ macht.

Demonstration

In Mengen ist der Pullback von Abbildungen B → A und C → A die Menge der Paare (b,c) mit f(b)=g(c) in A. In der Topologie bildet er Unterräume des Produkts mit übereinstimmenden Bildern in A; in der Algebra liefert er faserweise Produkte wie faserweise Tensorprodukte oder Unterringe, die durch Gleichmacher zu einer Basis angegeben sind.

Fehlanwendung

Anzunehmen, Pullbacks erhal­ten automatisch Epimorphismen oder Surjektivität, oder Pullbacks als einfache Schnittmengen zu behandeln, ohne die einschränkende Wirkung von Struktur (Topologie, Modulrelationen) auf das faserweise Produkt zu prüfen. Ein weiterer Fehler ist, Basiswechsel-Effekte zu ignorieren, die Exaktheitseigenschaften verändern.

Konsequenz

Pullbacks realisieren Synchronisation und Basiswechsel: sie konstruieren faserweise Produkte, den Basiswechsel in der Garben- und Bündeltheorie und liefern Kerne für Diagramme. Sie sind grundlegend für Faserungen, Deszendenz und viele Konstruktionen in Geometrie und Algebra.

Umkehrung

Dual zum Pushout: Während der Pushout entlang einer Quelle amalgamiert, synchronisiert der Pullback entlang eines Ziels. Die Umkehrung tauscht Kolimit-Verklebung gegen Limit-Synchronisation und verwandelt Kokegel in Kegel sowie Injektionen in Projektionen.

Abgrenzung

Die Existenz hängt davon ab, ob die Kategorie die entsprechenden Limiten besitzt; die mengenmäßige Beschreibung als Paare mit übereinstimmenden Bildern gilt in konkreten Kategorien, muss aber in strukturierten Kategorien angepasst werden. Pullbacks kommutieren nicht notwendigerweise mit Kolimiten und können Eigenschaften wie Endlichkeit oder Trennungsaxiome in Topologie oder Algebra nicht erhalten.

Semantische Spannung

Oft mit mengenmäßigen Schnitten oder faserweisen Produkten in speziellen Kontexten verwechselt; die Spannung liegt darin, dass der Pullback die Gleichheit der Bilder in der Basis erzwingt, aber zusätzliche Struktur (Topologie, Modulrelationen) das Ergebnis gegenüber einer naiven Schnittmenge verändern kann.

Synthese

Der Pullback ist der universelle Limes, der zwei Objekte über einer gemeinsamen Zielabbildung synchronisiert: Er bildet das Objekt der Paare mit übereinstimmenden Bildern in der Basis und vermittelt jeden kompatiblen Kegel in ein beliebiges anderes Objekt.