Como ocurre con muchos de los conceptos en teoría de categorías, fue sugerida por las necesidades del álgebra homológica.