All Questions

Recall that a frame homomorphism $h:L\to M$ is called ($L$ and $M$ are frames): Dense if, for any $x ∈ L$, $h(x) = 0$ implies $x = 0$. Codense if, for any $x ∈ L$, $h(x) = 1$ implies $x = 1$. ...

There are several results of the following form: if an algebraic objects is endowed with a topology (or rather uniformity) which is somehow compatible with the algebraic structure, this uniformity is ...