Local $T_0$ and $T_1$ quantale-valued preordered spaces

Abstract

In this paper, we characterize explicitly the separation properties $T_0$ and $T_1$ at a point p in the topological category of quantale-valued preordered spaces and investigate how these characterizations are related. Moreover, we prove that local $T_0$ and $T_1$ quantale-valued preordered spaces are hereditary and productive.