EuDML | Browse

This paper considers totally bounded quasi-uniformities and quasi-proximities for frames and shows that for a given quasi-proximity $◃$ on a frame $L$ there is a totally bounded quasi-uniformity on $L$ that is the coarsest quasi-uniformity, and the only totally bounded quasi-uniformity, that determines $◃$ . The constructions due to B. Banaschewski and A. Pultr of the Cauchy spectrum $ψ L$ and the compactification $ℜ L$ of a uniform frame $(L, 𝐔)$ are meaningful for quasi-uniform frames. If $𝐔$ is a totally bounded quasi-uniformity...

Displaying 1 – 7 of 7

T 2 -separation axioms on frames

T -algebras of the monad L -Fuzz

The 0-distributivity in the class of subalgebra lattices of Heyting algebras and closure algebras

The exocenter of a double Heyting algebra

The frame of fibrewise closed nuclei

The subalgebra lattice of a Heyting algebra

Totally bounded frame quasi-uniformities

Currently displaying 1 – 7 of 7

$T_{2}$ -separation axioms on frames

$T$ -algebras of the monad $L$ -Fuzz