For many, modern functional analysis dates back to Banach's book Ba32]. Here, such powerful results as the Hahn-Banach theorem, the open-mapping theorem and the uniform boundedness principle were developed in the setting of complete normed and complete metrizable spaces. When analysts realized the power and applicability of these methods, they sought to generalize the concept of a metric space and to broaden the scope of these theorems. Topological...