Characterizing Continuous Dcpos by Liminf Convergence of Filters

Authors

continuous dcpo, meet continuous dcpo, convergence space, limit space, pretopological space, $S$-convergence, liminf convergence.

It is proved in this note that, under a mild assumption, a dcpo $L$ is continuous if and only if the liminf convergence on $L$ is topological.

2021-05-24

Articles