FUZZY PRETOPOLOGICALSPACES, AN EXTENSIONALTOPOLOGICAL EXTENSION OF FTS

The category of fuzzy pretopological spaces is introduced, and it is proved that this category is a well-fibred extensional topological construct, and it is a finally dense extension of the category of fuzzy topological spaces. Moreover this category contains both the category of pretopological spaces and the category of probabilistic neighbourhood spaces as simultaneously bireflective and bicoreflective full subcategories.

Characterizing Continuous dcpos by Liminf Convergence of Filters

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.