Abstract:We present a unified treatment of pointfree metrization theorems based on an analysis of special properties of bases. It essentially covers all the facts concerning metrization from Engelking  which make pointfree sense. With one exception, where the generalization is shown to be false, all the theorems extend to the general pointfree context.
Keywords: frame, (metric) diameter, metrization
AMS Subject Classification: 54E35, 06D10