El límite categórico que representa el objeto universal que mapea a dos objetos de modo que las composiciones hacia un tercer objeto coinciden: dadas B → A y C → A, el pullback B ×_A C es el objeto universal con proyecciones a B y C que hacen conmutar el diagrama.

Principio

Caracterizado por la propiedad universal de límites: B ×_A C viene con proyecciones p_B: B ×_A C → B y p_C: B ×_A C → C tales que las composiciones hacia A coinciden, y para cualquier X con mapas a B y C que conmutan sobre A existe un único mapa X → B ×_A C que hace conmutar todo el diagrama.

Demostración

En conjuntos, el pullback de mapas B → A y C → A es el conjunto de pares (b,c) con f(b)=g(c) en A. En topología forma subespacios del producto con imágenes coincidentes en A; en álgebra da productos fibrados como tensores fibrados o subanillos definidos por igualizadores hacia un anillo base.

Aplicación incorrecta

Suponer que los pullbacks preservan automáticamente epimorfismos o suryectividad, o tratar los pullbacks como intersecciones sin verificar cómo la estructura (topología, relaciones de módulo) restringe el producto fibrado. Otro error es ignorar efectos de cambio de base que alteran propiedades de exactitud.

Consecuencia

Los pullbacks implementan sincronización y cambio de base: construyen productos fibrados, cambio de base en teoría de haces y fibrados, y proporcionan núcleos para diagramas. Son fundamentales para fibraciones, descenso y muchas construcciones en geometría y álgebra.

Inversión

Dual al pushout: donde el pushout amalgama a lo largo de una fuente, el pullback sincroniza a lo largo de un objetivo. La inversión intercambia el pegado por colímites por la sincronización por límites, convirtiendo coconos en conos e inyecciones en proyecciones.

Límite

Su existencia depende de que la categoría admita límites; la descripción en términos de pares con imágenes coincidentes se mantiene en categorías concretas pero debe adaptarse a categorías estructuradas. Los pullbacks no suelen conmutar con colímites y pueden no preservar finitud o propiedades de separación en topología o álgebra.

Tensión semántica

A menudo se confunde con intersecciones enunciables o productos fibrados en contextos específicos; la tensión es que el pullback impone igualdad de imágenes en la base, pero la estructura adicional (topología, relaciones de módulo) puede hacer que el resultado difiera de una intersección ingenua.

Síntesis

El pullback es el límite universal que sincroniza dos objetos sobre una base común: forma el objeto de pares cuyas imágenes coinciden en la base y media cualquier cono compatible hacia otro objeto.