often in number theory and geometry, it is necessary to consider topological algebraic objects, like locally compact abelian groups, continuous group cohomology, and adic spaces. however, many of these topological structures don't have good categorical properties, at least when compared to their purely algebraic counterparts. we will explore condensed mathematics, a program of clausen and scholze to systematically add topological structure to algebra with nice categorical properties.