##  [Théorie de la Cohomologie](/fr/node/61137) 

  ##  [Théorie de la Cohomologie](https://mathlogic.quantumdictionary.io/fr/node/61138) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Une assignation contravariante (généralement un foncteur) d'une catégorie d'espaces (topologiques, différentiables ou algébriques) vers des groupes abéliens, modules ou anneaux gradués qui capture des classes d'obstruction globales et porte des structures de produit et des suites exactes longues naturelles.

 

 

 

 

 





 

 



 ##  [Théorie de la Cohomologie](https://puremath.quantumdictionary.io/fr/node/62261) 

  

 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics & Logic -

**Pure Mathematics Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Un invariant algébrique contravariant qui attribue à des espaces (ou des spectres) des groupes ou anneaux gradués et qui satisfait des axiomes comme l'invariance par homotopie et l'exactitude dans les formes classiques ; les théories de cohomologie enregistrent des obstructions globales, classifient des structures et portent des opérations multiplicatives ou cohomologiques.