Quasi-pseudometric modular spaces as $\mathcal{Q}$-categories

Abstract

We prove that the category of quasi-pseudometric modular spaces whose morphisms are the nonexpansive mappings is isomorphic to a quantale enriched category. To achieve this, we construct an appropriate quantale of isotone functions. We also show that, by means of this isomorphism, the topology associated with a quasi-pseudometric modular coincides with that generated by its corresponding quantale enriched category. Furthermore, we demonstrate that the class of quasi-pseudometrizable topological spaces coincides with the topological spaces whose topology is induced by a quasi-pseudometric modular.

20 pages