Aggregation functions as lax morphisms of quantales
Category Theory
2026-04-30 v1
Abstract
We will generalize the concept of aggregation function for mathematical structures as a certain function between quantales. In fact, these functions turn to be exactly the lax morphism of quantales. This provides a global framework for the study of aggregation functions. As a consequence of our theory, we are able to deduce several known results about the aggregation of metrics and fuzzy metrics.
Cite
@article{arxiv.2604.26775,
title = {Aggregation functions as lax morphisms of quantales},
author = {Alejandro Fructuoso-Bonet and Jesús Rodríguez-López},
journal= {arXiv preprint arXiv:2604.26775},
year = {2026}
}
Comments
26 pages