Atlas/Alg. top./Condensed mathematics
1/4
Ordinary topological abelian groups mix poorly with homological algebra. Condensed sets fix this.