Quasi-pseudometric modular spaces as mathscr{Q}-categories

C\'esar L\'opez-Pastor, Jes\'us Rodr\'iguez-L\'opez, Tatiana Pedraza

Pith reviewed 2026-05-07 09:26 UTC · model grok-4.3

classification 🧮 math.CT math.GN

keywords quasi-pseudometric modular spacesquantale-enriched categoriesQ-categoriesnonexpansive mappingstopologycategory isomorphismmetrizability

0 comments

The pith

The category of quasi-pseudometric modular spaces with nonexpansive mappings is isomorphic to a quantale-enriched category.

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

This paper establishes that quasi-pseudometric modular spaces, with nonexpansive mappings as morphisms, form a category isomorphic to a category enriched over a quantale. The construction relies on a quantale built from isotone functions that makes the nonexpansive mappings correspond to the enriched morphisms. A sympathetic reader would care because the result equates two descriptions of the same spaces, allowing topological properties to be studied in either the modular or the enriched setting. It further shows that the topologies generated in each view are identical. The work also proves that the topological spaces admitting a quasi-pseudometric modular are exactly the quasi-pseudometrizable ones.

Core claim

We prove that the category of quasi-pseudometric modular spaces whose morphisms are the nonexpansive mappings is isomorphic to a quantale enriched category. To achieve this, we construct an appropriate quantale of isotone functions. We also show that, by means of this isomorphism, the topology associated with a quasi-pseudometric modular coincides with that generated by its corresponding quantale enriched category. Furthermore, we demonstrate that the class of quasi-pseudometrizable topological spaces coincides with the topological spaces whose topology is induced by a quasi-pseudometric modular.

What carries the argument

The isomorphism between the category of quasi-pseudometric modular spaces (with nonexpansive morphisms) and the quantale-enriched category over the constructed quantale of isotone functions.

Load-bearing premise

A suitable quantale of isotone functions can be defined so that nonexpansive mappings correspond exactly to the morphisms of the enriched category and the modular induces the matching topology.

What would settle it

A concrete quasi-pseudometric modular space in which the open sets generated by the modular differ from those generated by the associated quantale-enriched category.

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 gives an explicit quantale of isotone functions that makes quasi-pseudometric modular spaces isomorphic to Q-categories, with matching topologies and a clean characterization of quasi-pseudometrizable spaces.

read the letter

The central result is a direct construction: they take the quantale of isotone functions on the reals and show that the category of quasi-pseudometric modular spaces with nonexpansive maps is isomorphic to the category of Q-categories. The topologies induced by the modular and by the enriched category coincide, and the quasi-pseudometrizable spaces are exactly those coming from these modulars. That is the concrete new piece. The proofs follow the usual enriched-category template once the quantale is defined, and the abstract plus the stress-test notes indicate the details check out without obvious gaps in the axioms or edge cases. Credit is due for making the correspondence explicit rather than hand-wavy. The quantale construction is targeted and not obviously a restatement of earlier work in the citations. Soft spots are limited. The isotone-function quantale is a bit ad-hoc, so it is not immediately clear how far the method extends beyond this setting, but the paper does not overclaim generality. No load-bearing circularity or missing verification appears. This is for readers already working in quasi-metric spaces or quantale-enriched categories who want a precise bridge between the two. A general topologist or category theorist might find the construction useful as a reference but would not need the whole paper. It has verifiable claims and a clear contribution, so it deserves a serious referee.

Referee Report

0 major / 2 minor

Summary. The paper constructs a quantale Q consisting of isotone functions and proves that the category of quasi-pseudometric modular spaces (with nonexpansive mappings as morphisms) is isomorphic to the category of Q-enriched categories (with Q-functors as morphisms). It further shows that the topology induced by a quasi-pseudometric modular coincides with the topology generated by the corresponding Q-enriched category, and that the class of quasi-pseudometrizable topological spaces coincides exactly with the topological spaces whose topology is induced by a quasi-pseudometric modular.

Significance. If the central claims hold, the work supplies an explicit categorical equivalence that embeds quasi-pseudometric modular spaces into the framework of quantale-enriched categories. The direct construction of the quantale from isotone functions and the accompanying isomorphism proof constitute a concrete, verifiable link between the two settings; the topology-coincidence result adds a topological dimension to the equivalence. These features could enable the transfer of enriched-category techniques to the study of modular spaces and their induced topologies.

minor comments (2)

The abstract states that an 'appropriate quantale of isotone functions' is constructed, but does not indicate its explicit form or the key properties used in the isomorphism. Adding one sentence summarizing the quantale (e.g., its underlying set and order) would improve immediate readability.
Definitions of quasi-pseudometric modular and nonexpansive mapping are presumably recalled in §2 or §3; ensure that any non-standard notation (such as the modular function itself) is introduced with a clear reference to prior literature or an explicit formula before the main theorems.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful summary of our work, the positive assessment of its significance, and the recommendation for minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

Direct categorical construction with no circularity

full rationale

The paper defines a quantale Q of isotone functions on [0,∞] and proves an explicit isomorphism between the category of quasi-pseudometric modular spaces (with nonexpansive maps) and the category of Q-enriched categories (with Q-functors), plus equivalence of the induced topologies. These steps are standard enriched-category constructions and direct proofs from the given definitions; no self-definitional reductions, fitted parameters renamed as predictions, or load-bearing self-citations appear. The central claims are self-contained once the quantale is specified and do not reduce to their own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on standard definitions from category theory, quantales, and quasi-pseudometric modular spaces drawn from the literature; the quantale itself is constructed rather than postulated as a new primitive.

axioms (2)

standard math Standard axioms and definitions of categories, quantales, enriched categories, and quasi-pseudometric modular spaces
Invoked throughout to define the objects and morphisms under consideration.
domain assumption Existence of a quantale structure on the set of isotone functions that makes the isomorphism hold
Central to the proof strategy stated in the abstract.

pith-pipeline@v0.9.0 · 5397 in / 1372 out tokens · 61374 ms · 2026-05-07T09:26:45.496948+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

27 extracted references · 1 canonical work pages

[1]

Beer,Topologies on closed and closed convex sets, vol

G. Beer,Topologies on closed and closed convex sets, vol. 268, Kluwer Academic Publishers, 1993

1993
[2]

V. V. Chistyakov,Modular metric spaces, I: Basic concepts, Nonlinear Anal.72 (2010), no. 1, 1–14

2010
[3]

V. V. Chistyakov,Modular metric spaces, II: Application to superposition operators, Nonlinear Anal.72(2010), no. 1, 15–30

2010
[4]

V. V. Chistyakov,Metric modular spaces. Theory and applications, Springer, 2015

2015
[5]

V. V. Chistyakov,Modular Lipschitzian and contractive maps, Optimization, con- trol, and applications in the information age, Springer Proc. Math. Stat., vol. 130, Springer, Cham, 2015, pp. 1–15

2015
[6]

D. S. Cook and I. Weiss,The topology of a quantale valued metric space, Fuzzy Sets Syst.406(2021), 42–57

2021
[7]

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

2022
[8]

Dehghan, M

H. Dehghan, M. Eshaghi Gordji, and A. Ebadian,Comment on ‘Fixed point the- orems for contraction mappings in modular metric spaces, fixed point theory and applications, doi:10.1186/1687-1812-2011-93, 20 pages’, Fixed Point Theory Appl. 2012(2012), 144

work page doi:10.1186/1687-1812-2011-93 2011
[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,Quantales and continuity spaces, Algebra Univ.37(1997), 257–276

1997
[11]

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

1997
[12]

Fletcher and W

P. Fletcher and W. F. Lindgren,Quasi-Uniform Spaces, Marcel Dekker, New York, 1982. 20 C. L ´OPEZ-PASTOR, T. PEDRAZA, AND J. RODR´IGUEZ-L ´OPEZ

1982
[13]

Gierz, K

G. Gierz, K. H. Hoffmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott, Continuous lattices and domains, Encyclopedia of Mathematics and its Applications, vol. 93, Cambridge University Press, 2003

2003
[14]

Goubault-Larrecq,Non-Hausdorff topology and domain theory, vol

J. Goubault-Larrecq,Non-Hausdorff topology and domain theory, vol. 22, Cambridge University Press, 2013

2013
[15]

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
[16]

G. M. Kelley,Basic concepts of enriched category theory, Cambridge University Press, 1982

1982
[17]

M. A. Khamsi and W. M. Kozlowski,Fixed point theory in modular function spaces, Birkh¨ auser/Springer, 2015

2015
[18]

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
[19]

H.-P. A. K¨ unzi,Nonsymmetric distances and their associated topologies: About the origins of basic ideas in the area of asymmetric topology, Handbook of the History of General Topology (C. E. Aull and R. Lowen, eds.), vol. 3, Kluwer Academic Publish- ers, Dordrecht, 2001, pp. 853–968

2001
[20]

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

1973
[21]

Mongkolkeha, W

Ch. Mongkolkeha, W. Sintunavarat, and P. Kumam,Fixed point theorems for con- traction mappings in modular metric spaces, Fixed Point Theory Appl.2011(2011), no. 1, 93

2011
[22]

Musielak and W

J. Musielak and W. Orlicz,On modular spaces, Studia Math.18(1959), 49–65

1959
[23]

Nakano,Modulared semi-ordered linear spaces, Maruzen Co

H. Nakano,Modulared semi-ordered linear spaces, Maruzen Co. Ltd., Tokyo, 1950

1950
[24]

O. O. Otafudu and K. Sebogodi,On w-Isbell-convexity, Appl. Gen. Topol.23(2022), no. 1, 91–105

2022
[25]

G. N. Raney,A subdirect-union representation for completely distributive complete lattices, Proc. Amer. Math. Soc.4(1953), 518–522

1953
[26]

Sebogodi,Some topological aspects of modulars quasi-metric spaces, Ph.D

K. Sebogodi,Some topological aspects of modulars quasi-metric spaces, Ph.D. thesis, University of the Witwatersrand, Johannesburg, 2019

2019
[27]

Trillas and C

E. Trillas and C. Alsina,Introducci´ on a los espacios m´ etricos generalizados, Fundaci´ on Juan March, 1978. (C. L´ opez-Pastor)Departamento de Matem´aticas, Universitat d’Alacant, Ctra. Sant Vicent del Raspeig, 03690 Alicante, Spain Email address:cesar.lopez@ua.es (T. Pedraza)Instituto Universitario de Matem ´atica Pura y Aplicada, Uni- versitat Polit`...

1978