Stonean spaces, projective objects, the Riesz representation theorem, and (possibly) condensed mathematics

A basic type of problem that occurs throughout mathematics is the lifting problem: given some space that “sits above” some other “base” space due to a projection map , and some map from a third space into the base space , find a “lift” of to , that is to say a map such that […]