Enriched lower separation axioms and the principle of enriched continuous extension

Abstract

This paper presents a version of the lower separation axioms and the principle of enriched continuous extension for quantale-enriched topological spaces. As a remarkable result, among other things, we point out that in the case of commutative Girard quantales the principle of continuous extension holds for projective modules in Sup.