Generalising Nachbin's theory of ``topology and order'', in this paper we   continue the study of quantale-enriched categories equipped with a compact   Hausdorff topology. We compare these $V$-categorical compact Hausdorff spaces   with ultrafilter-quantale-enriched categories, and show that the presence of a   compact Hausdorff topology guarantees Cauchy completeness and (suitably   defined) ...

The construction of the formal ball model for metric spaces due to Edalat and Heckmann was generalized Q-categories by Kostanek Waszkiewicz, where Q is a commutative unital quantale. This paper concerns influence structure quantale on connection between Yoneda completeness directed their sets balls. In case that unit interval [0, 1] equipped with continuous t-norm &, it shown in order each Q-ca...

A notion of convolution is presented in the context of formal power series together with lifting constructions characterising algebras of such series, which usually are quantales. A number of examples underpin the universality of these constructions, the most prominent ones being separation logics, where convolution is separating conjunction in an assertion quantale; interval logics, where conv...

In this paper, we characterize local $T_{0}$ and $T_{1}$ quantale-valued gauge spaces, show how these concepts are related to each other and apply them to $mathcal{L}$-approach distance spaces and $mathcal{L}$-approach system spaces. Furthermore, we give the characterization of a closed point and $D$-connectedness in quantale-valued gauge spaces. Finally, we compare all these concepts to each o...