Что люди сейчас недооценивают, но что открытым текстом прописано у Гельфанда-Манина, это что гомологическая алгебра линеаризует вещи, и это важно. Типа, в математике есть два метода только, симметрия и линеаризация, и вот вам один из них в гомотопическом контексте. У Картана-Эйленберга и пр. с этим была полная каша. А Гротендик полностью построил и предъявил касательное пространство к желаемой общей теории.

Ну и по мелочи там много ценного, типа понятия фильтрующей категории.