Towards probabilistic partial metric spaces: diagonals between distance distributions

From MaRDI portal
Publication:2329037



Abstract: The quantale of distance distributions is of fundamental importance for understanding probabilistic metric spaces as enriched categories. Motivated by the categorical interpretation of partial metric spaces, we are led to investigate the quantaloid of diagonals between distance distributions, which is expected to establish the categorical foundation of probabilistic partial metric spaces. Observing that the quantale of distance distributions w.r.t. an arbitrary continuous t-norm is non-divisible, we precisely characterize diagonals between distance distributions, and prove that one-step functions are the only distance distributions on which the set of diagonals coincides with the generated down set.




Cites work









This page was built for publication: Towards probabilistic partial metric spaces: diagonals between distance distributions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2329037)