Expository notes about spectral sequences, filtered spectra, and synthetic spectra. We focus on the ττ-formalism as it arises in filtered spectra.
生成讲解博客的中文版本
生成AI智能校验的中文版本