The Katětov-Morita theorem for the dimension of metric frames (Q1959029)

This paper is an interesting contribution to the dimension theory of metric frames. In it, after characterizing the dimension \(\dim\) of metric frames in terms of special sequences of covers, the authors prove the point-free counterpart of the classical Katětov-Morita Theorem for metric spaces asserting that \(\operatorname{Ind}L=\dim L\) for every metric frame \(L\). Then, among other results, they prove that for every separable metric frame \(L\), \(\operatorname{Ind}L= \operatorname{Ind}L= \dim L\). A note of caution to the reader: there are a few mistakes in the numbering of results in Section~5.