Stonean spaces, projective objects, the Riesz representation theorem, and (possibly) condensed mathematicsApril 27, 2025