On some local topological semigroups.
The main purpose of this paper is to show that any localic group is complete in its two-sided uniformity, settling a problem open since work began in this area a decade ago. In addition, a number of other results are established, providing in particular a new functor from topological to localic groups and an alternative characterization of -groups.
In this paper, we give conditions ensuring the existence of a Haar measure in topological IP-loops.