18G40 - Category theory; homological algebra :: Homological algebra :: Spectral sequences, hypercohomology