On the completeness of localic groups (Q2761028)

A localic group is a frame \(L\) together with frame homomorphisms \(\mu \:L\rightarrow L\oplus L\), \(\iota \:L\rightarrow L\) and \(\varepsilon \:L\rightarrow L\) (its multiplication, inversion and unit, respectively) subject to the duals of the familiar groups laws. It is then known that the sets \(T_s=\{a\in L\:(a^{-1}a)\vee (aa^{-1})\leq s\}\) \((s\in N = \{s\in L\:\varepsilon (s)=1\})\) form a basis of uniformity on \(L\), called the two-sided uniformity of \(L\). The authors then prove that any localic group is complete in its two-sided uniformity. Moreover, they obtain a special functor from topological to localic groups which is then shown to give rise to some relationships between topological and localic groups.