Teoría de haces

En matemática, un haz F sobre un espacio topológico dado, X, proporciona, para cada conjunto abierto U de X, un conjunto F(U), de estructura más rica. A su vez dichas estructuras: F(U), son compatibles con la operación de restricción desde un conjunto abierto hacia subconjuntos más pequeños y con la operación de pegado de conjuntos abiertos para obtener un abierto mayor. Un prehaz es similar a un haz, pero con él puede no ser posible la operación de pegado. Los haces nos permiten discutir de manera refinada sobre lo que significa ser una propiedad local, tal y como hablamos de ello cuando lo aplicamos a una función.