In recent years, Clausen and Scholze have developed the framework of condensed mathematics to provide a setting in which to apply the methods of homological algebra to contexts in which the algebraic objects of interest carry topological structures. This talk will serve two primary purposes. The first is to give a brief introduction to condensed mathematics and to the category of condensed abelian groups in particular, partially in preparation for a later talk about applications of the set theoretic study of derived inverse limits to condensed mathematics. The second is to build upon the previous talk and give a brief exposition of the fact that, when appropriately interpreted, the Whitehead problem is not independent in the category of condensed abelian groups. In the course of this exposition, we will touch upon some connections between condensed mathematics and the set theoretic study of forcing.