Pointfree topology is, as the name suggests, a way of studying spaces without (mentioning) points. This idea is more natural than one might initially think. For example, when drawing a point on paper, we do no draw an actual point, but a collection of points somewhere near the desired one. We drew a “spot”, which can be reduced in size if that would be required to serve our purposes. Hence it m...