La cohomología puede ser pensada como un método de asignación de invariantes algebraicos a un espacio topológico que posee una estructura algebraica más refinada que la que tiene homología.