Álgebra homológica en geometría algebraica (teoría de haces)