Topological preservation under aggregation of quantale-valued metric spaces
Abstract
Aggregation functions provide a general mechanism for combining multiple inputs into a single output and constitute a fundamental tool in information fusion. Beyond the classical numerical setting, aggregation can also be considered at the level of mathematical structures, where the main question is to determine which properties of the original structures are preserved by the aggregation process. In this paper, we study the preservation of topology within a unified framework based on continuous quantales and quantale-enriched categories. We introduce strongly preserving functions, for which the natural topology induced by a 𝒱-metric space coincides with that induced after aggregation. We decompose this property into its upper and lower versions and show that upper strong preservation is equivalent to Scott continuity at the unit of the domain quantale, whereas lower strong preservation is characterized in terms of the fibre of the unit and the Scott upper semicontinuity of the inverse multifunction. Combining these results, we obtain a complete characterization of strongly preserving functions, together with analogous results for separated, symmetric, and separated and symmetric 𝒱-metric spaces. Finally, we specialize the general theory to functions from P+ I to P+, obtaining characterizations of strongly extended quasi-pseudometric and pseudometric aggregation functions on Cartesian products and on common underlying sets, together with corresponding results for extended quasi-metric and metric aggregation functions on Cartesian products.
Related
- Quantale-Valued Tolerance Convergence Function Spaces: Topological and Cartesian-Closed Categorical Perspectives
- Mordukhovich Derivatives and Covering Constant for Set-Valued Metric Projection in General Banach Spaces
- Scaling limits for Moran processes on metric strategy spaces: an Eulerian derivation of pure replicator and Fleming--Viot measure-valued PDEs
- A relaxation to the post-composition approach to metric-valued Sobolev maps
- Continuity equation on metric spaces via measure-valued derivations and BV-Wasserstein curves
BibTeX
@misc{fructuosobonet2026topological,
title = {{Topological preservation under aggregation of quantale-valued metric spaces}},
author = {Alejandro Fructuoso-Bonet and Jesús Rodr\'ıguez-López},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.31059},
eprint = {2610.31059},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.31059},
note = {CC BY-NC-SA 4.0},
}
RIS
TY - UNPB
TI - Topological preservation under aggregation of quantale-valued metric spaces
AU - Alejandro Fructuoso-Bonet
AU - Jesús Rodr\'ıguez-López
PY - 2026
DA - 2026/10/22
PB - arXiv
DO - 10.48550/arxiv.2610.31059
UR - https://arxiv.org/abs/2610.31059
AB - Aggregation functions provide a general mechanism for combining multiple inputs into a single output and constitute a fundamental tool in information fusion. Beyond the classical numerical setting, aggregation can also be considered at the level of mathematical structures, where the main question is to determine which properties of the original structures are preserved by the aggregation process. In this paper, we study the preservation of topology within a unified framework based on continuous quantales and quantale-enriched categories. We introduce strongly preserving functions, for which the natural topology induced by a 𝒱-metric space coincides with that induced after aggregation. We decompose this property into its upper and lower versions and show that upper strong preservation is equivalent to Scott continuity at the unit of the domain quantale, whereas lower strong preservation is characterized in terms of the fibre of the unit and the Scott upper semicontinuity of the inverse multifunction. Combining these results, we obtain a complete characterization of strongly preserving functions, together with analogous results for separated, symmetric, and separated and symmetric 𝒱-metric spaces. Finally, we specialize the general theory to functions from P_+^ I to P_+, obtaining characterizations of strongly extended quasi-pseudometric and pseudometric aggregation functions on Cartesian products and on common underlying sets, together with corresponding results for extended quasi-metric and metric aggregation functions on Cartesian products.
ER -