The category of ultrametric spaces is isomorphic to the category of complete, atomic, tree-like, and real graduated lattices LAT\(^*\) (Q2496156)

A lattice \(L\) is called tree-like if the set \(L\setminus \{ 0\}\) is a tree. \(L\) is called real graduated if there is a real-valued non-negative isotonic function \(r\: L\setminus \{ 0\} \to \mathbb R_{+}\cup \{ +\infty \}\) satisfying the conditions: (i) if \(l<m\in L\), then \(r(l)<r(m)\), (ii) if \(x\) is an atom of \(L\), then \(r(x)=0\), (iii) for any \(X'\subseteq A(L)\), \(r(\sup \{x;\;x\in X'\})=\sup \{r(x\lor y);\;x,y\in X'\}\), where \(A(L)\) is the set of all atoms of \(L\). The main theorem of the paper states that the category ULTRAMETR of ultrametric spaces and non-expanding maps is isomorphic to the category LAT* of complete, atomic, tree-like, real graduated lattices and isotonic, semi-continuous, non-extensive maps.