La limite catégorique qui représente l'objet universel se mappant vers deux objets de sorte que les compositions vers un troisième objet coïncident : données B → A et C → A, le pullback B ×_A C est l'objet universel muni de projections vers B et C rendant le diagramme commutatif.

Principe

Caractérisé par la propriété universelle des limites : B ×_A C est muni de projections p_B: B ×_A C → B et p_C: B ×_A C → C telles que les compositions vers A coïncident, et pour tout X avec des flèches vers B et C commutant au-dessus de A il existe une unique flèche X → B ×_A C rendant tout le diagramme commutatif.

Démonstration

Dans les ensembles, le pullback des applications B → A et C → A est l'ensemble des paires (b,c) avec f(b)=g(c) dans A. En topologie il forme des sous-espaces des produits avec images concordantes dans A ; en algèbre il donne des produits fibrés comme des produits tensoriels fibrés ou des sous-anneaux définis par égalisateurs vers un anneau de base.

Mauvaise application

Supposer que les pullbacks préservent automatiquement les épimorphismes ou la surjectivité, ou traiter les pullbacks comme de simples intersections sans vérifier comment la structure (topologie, relations de module) restreint le produit fibré. Une autre erreur est d'ignorer les effets de changement de base qui modifient les propriétés d'exactitude.

Conséquence

Les pullbacks implémentent la synchronisation et le changement de base : ils construisent des produits fibrés, le changement de base en théorie des faisceaux et des fibrés, et fournissent des noyaux pour des diagrammes. Ils sont fondamentaux pour les fibrations, la descente et de nombreuses constructions en géométrie et en algèbre.

Inversion

Dual au pushout : alors que le pushout amalgame le long d'une source, le pullback synchronise le long d'une cible. L'inversion échange le collage en colimite pour la synchronisation en limite, transformant cocônes en cônes et injections en projections.

Limite

L'existence dépend de l'adjonction des limites dans la catégorie ; la description ensembliste comme paires à images concordantes vaut dans les catégories concrètes mais doit être adaptée aux catégories structurées. Les pullbacks ne commutent pas nécessairement avec les colimites et peuvent ne pas préserver des propriétés de finitude ou de séparation en topologie ou en algèbre.

Tension sémantique

Souvent confondu avec des intersections ensemblistes ou des produits fibrés dans des contextes particuliers ; la tension vient du fait que le pullback impose l'égalité des images dans la base, mais la structure supplémentaire (topologie, relations de module) peut modifier le résultat par rapport à une intersection naïve.

Synthèse

Le pullback est la limite universelle qui synchronise deux objets au-dessus d'une même cible : il forme l'objet des paires dont les images coïncident dans la base et médiatise tout cône compatible vers un autre objet.