The congruence biframe as a quasi-uniform bicompletion

Graham Manuell

Künzi and Ferrario have shown that a $T_0$ space is sober if and only if it is bicomplete in the well-monotone quasi-uniformity. We prove a pointfree version of this result: a stri…