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.

Principio

Organizar las obstrucciones topológicas o algebraicas globales en invariantes algebraicos graduados y fonctoriales con estructura multiplicativa y sucesiones exactas que codifiquen la relación local‑a‑global.

Demostración

La cohomología singular H^*(X; R) asigna a un espacio topológico X módulos graduados H^n(X; R), admite el producto cup H^p(X; R) × H^q(X; R) → H^{p+q}(X; R) y proporciona la sucesión exacta larga de Mayer–Vietoris para calcular la cohomología a partir de una cubierta abierta.

Aplicación incorrecta

Tratar los grupos de cohomología como invariantes puramente locales o asumir que límites/colímites ingenuos conmutan (por ejemplo, que la cohomología de un colímite infinito coincide con el colímite de las cohomologías) sin usar funtores derivados o hipótesis apropiadas.

Consecuencia

Aplicada correctamente, una teoría de cohomología detecta obstrucciones a la existencia de secciones, clasifica fibrados y extensiones, produce clases características y participa en dualidades como la dualidad de Poincaré bajo hipótesis adecuadas.

Inversión

Teoría de homología: una asignación covariante que mide ciclos y fronteras en lugar de cociclos y cadenes; muchas propiedades formales son duales pero la varianza y las estructuras algebraicas difieren.

Límite

No incluye asignaciones graduadas contravariantes arbitrarias carentes de fonctorialidad, productos naturales o el formalismo de sucesiones exactas; las teorías de cohomología generalizadas (basadas en espectros) amplían el marco pero alteran algunas expectativas clásicas.

Tensión semántica

Frente a la homología: ambas investigan la topología pero difieren en varianza (contra‑ vs covariante), operaciones algebraicas (producto cup vs producto de intersección) e interpretaciones habituales (obstrucciones y clases vs ciclos y bordismo).

Síntesis

Una teoría de la cohomología condensa la información de obstrucción global en estructuras algebraicas graduadas y fonctoriales con operaciones multiplicativas y sucesiones exactas largas, conectando cálculos locales con invariantes globales.