Definición
Un complejo de cocadenas construido a partir de localizaciones en una familia de elementos (o una cubierta por abiertos principales) cuya cohomología calcula la cohomología local y los invariantes derivados de localización para módulos o haces.