Había quizás una ruta más directa disponible: el concepto de categoría abeliana había sido introducido por Grothendieck en su trabajo fundacional en álgebra homológica, para unificar categorías de haces de grupos abelianos, y de módulos.