Spectral-sequence infrastructure #
Filtered complexes, column-filtered total complexes, and their spectral objects in arbitrary abelian categories.
Filtered complexes, column-filtered total complexes, and their spectral objects in arbitrary abelian categories.