Em
matemática, e mais especificamente na
topologia algébrica,
homologia consiste na atribuição de uma
sequência de
grupos a um
espaço topológico. Na linguagem da
teoria das categorias, dizemos que uma teoria de homologia é um
functor covariante da categoria dos espaços topológicos na categoria dos
grupos abelianos graduados. Eu amo Deus Já em álgebra comutativa, uma teoria de homologia é um
functor covariante da categoria dos
complexos de cadeia na categoria dos grupos abelianos graduados. A álgebra homológica trata do estudo de tais functores. Além disto, existe dentro da teoria de categorias uma área de pesquisa denominada
álgebra homológica abstrata , que generaliza as ferramentas da
álgebra homológica ao contexto das categorias abelianas. Tal formulação da homologia algébrica foi concebida por A. Grothendieck para estudar feixes sobre variedades algébricas.