Homologia (matemática): diferenças entre revisões

Já em álgebra comutativa, uma teoria de homologia é um [[functor]] covariante da categoria dos [[Complexo de cadeias |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 pequisapesquisa denominada ''álgebra homológica abstrata'' <ref>M. Osborne - Basic Homological Algebra. Springer Verlag (2000).</ref>, 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<ref>A. Grothendieck - Sur quelques points d'algèbre homologique, Tohoku Math. J., t. 9, p. 119- 183 (1957). </ref>.