Let Cb be the admissible functorial quasi-uniformity on the completely regular bispaces which is spanned by the upper quasi-uniformity on the real line. Answering a question posed by B. Banaschewski and G. C. L. Brümmer in the affirmative we show that CbX is transitive for every strongly zero-dimensional bispace X.

We show that a topological space X admits a unique quasiuniformity if and only if every interior-preserving open collection of X is finite.

The order topology is compact and T2 in both the scale and retracted scale of any uniform space (S, U). if (S, U) is T2 and totally bounded, the Samuel compactification associated with (S, U) can be obtained by uniformly embedding (S, U) in its order retracted scale (that is, the retracted scale with its order topology). This implies that every compact T2 space is both a closed subspace of a complete, infinitely distributive lattice in its order topology, and also a continuous, closed image of a closed subspace of a complete atomic Boolean algebra in its order topology.

Let (S. U) be a uniform space. This space can be embedded in a complete, uniform lattice called the scale of (S. U). We prove that the scale is compact if and only if S is finite or U = {S × S}. We prove that this statement remains true if compact is replaced by countably compact, totally bounded. Lindelof, second countable, or separable. In the last section of this paper, we investigate the cardinality of the scale and the retracted scale.

Gelfand-type duality results can be obtained for locally convex algebras using a quasitopological structure on the spectrum of an algebra (as opposed to the topologies traditionally considered). In this way, the duality between (commutative, with identity) C*-algebras and compact spaces can be extended to pro-C*-algebras and separated quasitopologies. The extension is provided by a functional representation of an algebra A as the algebra of all continuous numerical functions on a quasitopological space. The first half of the paper deals with uniform spaces and quasitopologies, and has independent interest.