En matemáticas, específicamente en topología algebraica, cohomología es un término genérico para una sucesión de grupos abelianos definidos a partir de un complejo de co-cadenas.