Teoría de Haces
Definición
La teoría de haces: un haz asigna datos algebraicos o categóricos a los abiertos de un espacio topológico (o a los objetos de un sitio) con mapas de restricción que satisfacen los axiomas de localidad y pegado, y estudia las consecuencias globales mediante construcciones derivadas como la cohomología de haces.