On the completeness of localic groups
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.