Asignación de datos que asocia a cada abierto de un espacio topológico un objeto algebraico (conjuntos, grupos, anillos, módulos, etc.) junto con aplicaciones de restricción, cumpliendo localidad (secciones iguales localmente son iguales) y pegado (secciones locales compatibles se pegan de forma única).

Principio

De lo local a lo global: los objetos globales se construyen a partir de datos locales compatibles mediante restricción y pegado único, por lo que los haces son el formalismo para seguir estructuras definidas localmente y sus obstrucciones globales.

Demostración

El haz de funciones continuas reales asigna a cada abierto U el anillo C^0(U); funciones que coinciden en las intersecciones provienen de una única función continua global sobre la unión, ilustrando localidad y pegado.

Aplicación incorrecta

Suponer que un presheaf es un haz sin comprobar el axioma de pegado, o tratar las secciones globales como representativas de todo el comportamiento local cuando existen obstrucciones no triviales (cohomología).

Consecuencia

Los haces permiten definir grupos de cohomología que miden obstrucciones al pegado y controlan problemas de extensión, clasificación y deformación en geometría y análisis.

Inversión

Un presheaf que carece de la propiedad de pegado o un cos‑haz donde la información se agrega en vez de restringirse; éstos no poseen la completa propiedad de reconstrucción local‑a‑global de los haces.

Límite

Definido sobre un espacio topológico (o sitio); excluye asignaciones arbitrarias sin aplicaciones de restricción, y difiere de los fibrados que requieren trivialidad local y típicamente estructura adicional (fibras y funciones de transición).

Tensión semántica

Tensión entre pensar un haz como 'coeficientes variables' (punto de vista analítico/algebraico) y como un espacio étalé o fibrado (punto de vista geométrico/topológico): énfasis complementarios pero distintos.

Síntesis

Un haz organiza datos algebraicos o analíticos locales en un espacio topológico con aplicaciones de restricción compatibles, de modo que la información localmente consistente se ensambla de forma única en objetos globales; la cohomología mide los fallos del pegado.