Los desarrollos subsiguientes de la teoría fueron impulsados por las necesidades computacionales del Álgebra homológica y más tarde por las necesidades axiomáticas de la Geometría algebraica.