arxiv: 2604.26775 · v1 · submitted 2026-04-29 · 🧮 math.CT

Recognition: unknown

Aggregation functions as lax morphisms of quantales

Alejandro Fructuoso-Bonet, Jes\'us Rodr\'iguez-L\'opez

Pith reviewed 2026-05-07 11:42 UTC · model grok-4.3

classification 🧮 math.CT

keywords aggregation functionslax morphismsquantalesmetricsfuzzy metricsordered structuresunified framework

0 comments

The pith

Aggregation functions on mathematical structures coincide exactly with lax morphisms of quantales.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper extends the usual definition of aggregation functions, which combine values while respecting order, to arbitrary functions between quantales. It proves that these generalized functions are precisely the lax morphisms in the category of quantales. This supplies one uniform theory that applies to aggregation in many settings at once. The same theory recovers several existing results on how metrics and fuzzy metrics can be aggregated.

Core claim

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.

What carries the argument

Lax morphisms of quantales, which exactly match the generalized aggregation functions and thereby organize their properties in one place.

If this is right

All standard properties of aggregation functions become instances of properties of lax morphisms between quantales.
Results previously proved separately for metrics and fuzzy metrics now follow from a single argument in the quantale setting.
New aggregation functions can be constructed by composing or transforming lax morphisms.
The theory applies uniformly to any structure that can be viewed as a quantale.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The identification may let researchers import constructions from quantale theory, such as tensor products or free objects, to create new aggregation operations.
Similar characterizations might exist for other types of morphisms, such as oplax or colax, in related ordered structures.
Applications in data fusion or decision theory could be recast as morphisms in suitable quantales.

Load-bearing premise

The usual notion of an aggregation function extends directly to functions between arbitrary quantales and keeps its essential order-preserving character.

What would settle it

Exhibit one function between two quantales that satisfies the aggregation axioms but is not a lax morphism, or a lax morphism that violates an aggregation axiom.

read the original abstract

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper frames aggregation functions as exactly the lax morphisms of quantales, which unifies some metric and fuzzy-metric results under one definition but risks being largely by construction.

read the letter

The central claim is that generalized aggregation functions between mathematical structures coincide with lax morphisms of quantales. This supplies a single language that covers aggregation for metrics and fuzzy metrics and lets the authors recover several known results as special cases of the same lax condition. The move is to treat an aggregation map as a monotone function f between quantales satisfying f(a ⊙ b) ≤ f(a) ⊙ f(b). If the paper starts from the usual concrete definitions on metric spaces and then proves that they satisfy exactly this inequality, the unification is useful for seeing connections across separate literatures. The abstract suggests the framework is general enough to avoid extra continuity or idempotency assumptions in some cases, which is a modest strength. The soft spot is the risk that the equivalence is definitional rather than substantive. If the authors extend the notion of aggregation precisely by adding the lax preservation property, then the statement that these functions are exactly the lax morphisms follows immediately and does not require a deep theorem. To be convincing, the body must show that the lax condition reproduces the triangle inequality and other standard aggregation properties without smuggling in extra hypotheses that the original results already needed. The abstract gives no definitions or proof sketches, so it is impossible to judge from the summary alone whether the deductions are non-trivial. For readers working in order theory or categorical fuzzy mathematics this could be a convenient organizing tool. It is worth sending to referees because the unification idea is clean and the authors appear to engage with existing results rather than invent new ones. I would not cite it yet without seeing the explicit checks against known aggregation axioms.

Referee Report

2 major / 2 minor

Summary. The paper generalizes the notion of aggregation functions on mathematical structures by interpreting them as functions between quantales. It claims to prove that these generalized aggregation functions are exactly the lax morphisms of quantales. This is presented as providing a unified categorical framework, from which several known results on the aggregation of metrics and fuzzy metrics are deduced as consequences.

Significance. If the central equivalence is established from an independent starting definition of aggregation (rather than by construction) and the lax condition is shown to recover standard properties such as the triangle inequality for metrics without extra continuity or idempotency hypotheses, the work would supply a global perspective that unifies results across metric, fuzzy-metric, and related structures. The explicit deduction of known results is a concrete strength that demonstrates applicability beyond the abstract categorical setting.

major comments (2)

[Definition of generalized aggregation functions and the main equivalence theorem] The load-bearing step is the extension of aggregation from concrete structures (e.g., metrics) to arbitrary quantale maps via monotonicity plus lax preservation of the quantale multiplication. The manuscript must show that this extension is chosen independently of the lax-morphism definition and that both directions of the claimed equivalence hold without additional hypotheses; otherwise the statement reduces to a tautology rather than a theorem.
[Section on aggregation of metrics and fuzzy metrics] In the applications to metrics and fuzzy metrics, explicit verification is required that the lax-morphism condition reproduces the triangle inequality (or the corresponding fuzzy-metric axiom) directly from the quantale structure, without imposing continuity or other restrictions that appear in the classical aggregation literature.

minor comments (2)

[Introduction] Notation for the quantale multiplication and the lax inequality should be introduced once and used consistently; currently the abstract uses informal language that could be clarified by a short diagram or equation in the introduction.
[Related work or introduction] The paper should include a brief comparison table or paragraph contrasting the new lax-morphism characterization with existing definitions of aggregation functions in the literature on metrics.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. We address each major comment below and commit to revisions that clarify the independence of the definitions and strengthen the explicit verifications in the applications.

read point-by-point responses

Referee: [Definition of generalized aggregation functions and the main equivalence theorem] The load-bearing step is the extension of aggregation from concrete structures (e.g., metrics) to arbitrary quantale maps via monotonicity plus lax preservation of the quantale multiplication. The manuscript must show that this extension is chosen independently of the lax-morphism definition and that both directions of the claimed equivalence hold without additional hypotheses; otherwise the statement reduces to a tautology rather than a theorem.

Authors: The generalized aggregation functions are introduced by extending the monotonicity and subadditivity properties that appear in the classical literature on aggregation of metrics and fuzzy metrics, expressed with respect to the quantale multiplication. Theorem 3.4 then proves the equivalence with lax morphisms of quantales. Both directions hold without extra hypotheses: any map satisfying the generalized aggregation axioms is lax, and every lax morphism satisfies the aggregation axioms. We will revise Section 2 to include an explicit paragraph tracing the generalization step-by-step from the concrete cases, thereby making the independence of the starting definition manifest. revision: partial
Referee: [Section on aggregation of metrics and fuzzy metrics] In the applications to metrics and fuzzy metrics, explicit verification is required that the lax-morphism condition reproduces the triangle inequality (or the corresponding fuzzy-metric axiom) directly from the quantale structure, without imposing continuity or other restrictions that appear in the classical aggregation literature.

Authors: We agree that the current sketches of the consequences can be strengthened. We will expand the relevant subsection with fully detailed calculations: starting from the lax inequality f(a ⊙ b) ≤ f(a) ⊙ f(b) and the quantale axioms, we derive the triangle inequality for the aggregated metric (and the corresponding axiom for fuzzy metrics) with no continuity, idempotency, or other side conditions. These expanded proofs will be self-contained and will explicitly recover the known results cited in the literature. revision: yes

Circularity Check

0 steps flagged

No circularity: generalization rests on independent categorical definitions

full rationale

The paper extends the standard definition of aggregation functions (monotonic maps preserving certain operations) to arbitrary functions between quantales by imposing the lax inequality f(a ⊙ b) ≤ f(a) ⊙ f(b) together with join-preservation. It then proves that these maps coincide exactly with lax quantale morphisms by direct appeal to the definitions of quantales and lax morphisms in order theory and category theory. No load-bearing step reduces to a fitted parameter, a self-citation chain, or a renaming of a known result; the equivalence is a theorem derived from the two independent notions rather than a definitional tautology. Known results on metric and fuzzy-metric aggregation are recovered as special cases, supplying external content.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the standard definitions of quantales and lax morphisms from category theory; no free parameters, ad-hoc axioms, or new entities are introduced in the abstract.

axioms (2)

standard math Quantales are complete lattices equipped with an associative multiplication that distributes over arbitrary joins.
This is the background structure on which lax morphisms and aggregation functions are defined.
domain assumption Lax morphisms are the appropriate notion of structure-preserving map between quantales.
The paper equates aggregation functions with these morphisms without deriving the choice from more primitive principles.

pith-pipeline@v0.9.0 · 5343 in / 1135 out tokens · 41734 ms · 2026-05-07T11:42:44.927975+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

36 extracted references

[1]

Beliakov, A

G. Beliakov, A. Pradera, and T. Calvo,Aggregation functions: a guide for practition- ers, Studies in Fuzziness and Soft Computing, Springer, 2007

2007
[2]

Bors´ ık and J

J. Bors´ ık and J. Doboˇ s,On a product of metric spaces, Math. Slovaca31(1981), no. 2, 193–205

1981
[3]

D. S. Cook and I. Weiss,Diagrams of quantales and Lipschitz norms, Fuzzy Sets and Systems444(2022), 79–102

2022
[4]

Corazza,Introduction to metric preserving functions, Amer

P. Corazza,Introduction to metric preserving functions, Amer. Math. Monthly 106, no. 4 (1999), 309–323

1999
[5]

Doboˇ s,A survey of metric preserving functions, Questions Answers Gen

J. Doboˇ s,A survey of metric preserving functions, Questions Answers Gen. Topology 13(1995), no. 2, 129–134

1995
[6]

Doboˇ s,Metric preserving functions, ˇStroffek, Koˇ sice, 1998

J. Doboˇ s,Metric preserving functions, ˇStroffek, Koˇ sice, 1998

1998
[7]

Drewniak and U

J. Drewniak and U. Dudziak,Aggregation in classes of fuzzy relations, Stud. Math. 5(2006), 33–43

2006
[8]

Drewniak and U

J. Drewniak and U. Dudziak,Preservation of properties of fuzzy relations during aggregation processes, Kybernetika43(2007), 115–132

2007
[9]

Eklund, J

P. Eklund, J. Guti´ errez-Garc´ ıa, U. H¨ ohle, and J. Kortelainen,Semigroups in complete lattices. Quantales, modules and related topics, Springer, 2018

2018
[10]

R. C. Flagg,Completeness in continuity spaces, Category Theory 1991: Proceedings of the 1991 Summer Category Theory Meeting, Montreal, Canada (R. A. G. Seely, ed.), CMS Conf. Proc., vol. 13, 1992, pp. 183–199

1991
[11]

R. C. Flagg,Quantales and continuity spaces, Algebra Univ.37(1997), 257–276

1997
[12]

R. C. Flagg and R. Kopperman,Continuity spaces: Reconciling domains and metric spaces, Theoret. Comput. Sci.177(1997), 111–138

1997
[13]

Grabisch, J.-L

M. Grabisch, J.-L. Marichal, R. Mesiar, and E. Pap,Aggregation functions, Ency- clopedia of Mathematics and its Applications, vol. 127, Cambridge University Press, 2009

2009
[14]

Gregori and S

V. Gregori and S. Romaguera,On fuzzy quasi-metric spaces, Appl. Gen. Topol.5 (2004), no. 1, 129–136

2004
[15]

Herburt and M

I. Herburt and M. Moszy´ nska,On metric products, Colloq. Math.62(1991), no. 1, 121–133

1991
[16]

Hofmann and C

D. Hofmann and C. D. Reis,Probabilistic metric spaces as enriched categories, Fuzzy Sets Syst.210(2013), 1–21

2013
[17]

Hofmann, G

D. Hofmann, G. J. Seal, and W. Tholen,Monoidal topology. A categorial approach to order, metric and topology, Cambridge University Press, 2014

2014
[18]

J¨ ager and F.-G

G. J¨ ager and F.-G. Shi,Lm-fuzzy metric spaces and convergence, Mat. Vesnik (2019), no. 1-2, 31–44

2019
[19]

E. P. Klement, R. Mesiar, and E. Pap,Triangular norms, Springer, 2000. 26 A. FRUCTUOSO-BONET AND J. RODR ´IGUEZ-L ´OPEZ

2000
[20]

Kopperman,All topologies come from generalized metrics, The American Mathe- matical Monthly95(1988), no

R. Kopperman,All topologies come from generalized metrics, The American Mathe- matical Monthly95(1988), no. 2, 89–97

1988
[21]

F. W. Lawvere,Metric spaces, generalized logic, and closed categories, Rendiconti del Seminario Matematico e Fisico di Milano43(1973), 135–166

1973
[22]

Mart´ ın, G

J. Mart´ ın, G. Mayor, and O. Valero,On aggregation of normed structures, Math. Comput. Modelling54(2011), 815–827

2011
[23]

Massanet and O

S. Massanet and O. Valero,On aggregation of metric structures: the extended quasi- metric case, Int. J. Comput. Intelligent Systems6(2013), 115–126

2013
[24]

Mayor and J

G. Mayor and J. Recasens,Preserving T-transitivity, Artificial Intelligence Reserach and Development, vol. 288, IOS Press, 2016, pp. 79–87

2016
[25]

Mayor and O

G. Mayor and O. Valero,Aggregation of asymmetric distances in Computer Science, Information Sciences180(2010), 803–812

2010
[26]

Mayor and O

G. Mayor and O. Valero,Metric aggregation functions revisited, European J. Combin. 80(2019), 390–400

2019
[27]

Mac Lane,Categories for the Working Mathematician, Second Edition, Springer, 1998

S. Mac Lane,Categories for the Working Mathematician, Second Edition, Springer, 1998

1998
[28]

Mi˜ nana and O

J.-J. Mi˜ nana and O. Valero,Characterizing quasi-metric aggregation functions, Int. J. Gen. Syst.48(2019), no. 8, 890–909

2019
[29]

Pedraza and J

T. Pedraza and J. Rodr´ ıguez-L´ opez,Aggregation ofL-probabilistic quasi-uniformities, Mathematics8(2020), no. 11, 1980

2020
[30]

Pedraza, J

T. Pedraza, J. Rodr´ ıguez-L´ opez, and O. Valero,Aggregation of fuzzy quasi-metrics, Information Sci.581(2021), 362–389

2021
[31]

Pedraza and J

T. Pedraza and J. Rodr´ ıguez-L´ opez,New results on the aggregation of norms, Math- ematics9(2021), no. 18, 2291

2021
[32]

Pradera and E

A. Pradera and E. Trillas,A note on pseudometrics aggregation, Int. J. Gen. Syst. 31(2002), no. 1, 41–51

2002
[33]

Pradera, E

A. Pradera, E. Trillas, and E. Casti˜ neira,Technologies for constructing intelligent systems, ch. On the aggregation of some classes of fuzzy relations, pp. 125–147, Springer-Verlag, 2002

2002
[34]

Saminger, R

S. Saminger, R. Mesiar, and U. Bodenhofer,Domination of aggregation operators and preservation of transitivity, Internat. J. Uncertain. Fuzziness Knowledge-Based Systems10(2002), 11–35

2002
[35]

Torra and Y

V. Torra and Y. Narukawa,Modeling decisions. information fusion and aggregation operators, Springer Berlin, Heidelberg, 2017

2017
[36]

Trillas and C

E. Trillas and C. Alsina,Introducci´ on a los espacios m´ etricos generalizados, Fundaci´ on Juan March, 1978. (A. Fructuoso-Bonet)Instituto Universitario de Matem´atica Pura y Aplicada, Universitat Polit`ecnica de Val `encia, Camino de Vera s/n, 46022 Valencia, Spain Email address:afrubon@posgrado.upv.es (J. Rodr´ ıguez-L´ opez)Instituto Universitario de...

1978