Teoría de la Cohomología

Una asignación contravariante (habitualmente un funtor) desde una categoría de espacios (topológicos, diferenciables o algebraicos) a grupos abelianos, módulos o anillos graduados que captura clases de obstrucción globales y dispone de estructuras de producto naturales y sucesiones exactas largas.

Un invariante algebraica contravariante que asigna a espacios (o espectros) grupos o anillos graduados y satisface axiomas como invariancia por homotopía y exactitud en formas clásicas; las teorías de cohomología registran obstrucciones globales, clasifican estructuras y llevan estructuras multiplicativas u operaciones cohomológicas.