pith. sign in

arxiv: 2508.19423 · v2 · submitted 2025-08-26 · 🧮 math.CT · cs.IT· math.IT· math.LO

An extension of Priestley duality to fuzzy topologies and positive MV-algebras

Marby Zuley Bola\~nos Ortiz , Ciro Russo This is my paper

Pith reviewed 2026-05-18 21:37 UTC · model grok-4.3

classification 🧮 math.CT cs.ITmath.ITmath.LO
keywords Priestley dualityfuzzy topologiespositive MV-algebrasStone dualitydistributive latticescategory equivalenceordered algebras
0
0 comments X

The pith

Priestley duality extends to fuzzy topological spaces and positive MV-algebras.

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

The paper establishes that Priestley duality generalizes from bounded distributive lattices to new categories of fuzzy topological spaces and positive MV-algebras. This builds directly on the classical Priestley correspondence and on an earlier extension that linked limit cut complete MV-algebras with Stone MV-topological spaces. A reader would care because the result supplies dual representations for a wider class of ordered algebraic structures that incorporate fuzziness. If the extension holds, many classical topological and order-theoretic tools become available in these generalized settings without leaving the duality framework.

Core claim

We extend Priestley Duality to suitable categories of fuzzy topological spaces and ordered algebraic structures that generalize bounded distributive lattices. The duality we prove extends not only classical Priestley Duality between Priestley Spaces and bounded distributive lattices, but also the duality between limit cut complete MV-algebras and Stone MV-topological spaces (proved by the second author in a previous paper) which, on its turn, is an extension of classical Stone Duality.

What carries the argument

The pair of adjoint functors that establish an equivalence between the category of fuzzy Priestley spaces and the category of positive MV-algebras.

If this is right

  • Classical Priestley duality between Priestley spaces and bounded distributive lattices arises as a special case.
  • The earlier duality for limit cut complete MV-algebras and Stone MV-topological spaces is recovered inside the new framework.
  • Representations of ordered structures can now incorporate fuzzy topologies while preserving the order-algebra duality.
  • Stone duality is included indirectly through the chain of extensions already established.

Where Pith is reading between the lines

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

  • Techniques from duality theory may transfer to fuzzy-logic applications that were previously outside the classical scope.
  • Similar extensions could be attempted for other topological dualities once the fuzzy and positive-MV categories are fixed.
  • The construction may suggest how to define dualities for further generalizations such as many-valued or lattice-valued topologies.

Load-bearing premise

There exist well-defined categories of fuzzy topological spaces and positive MV-algebras for which the proposed duality functors are adjoint and yield an equivalence.

What would settle it

A concrete fuzzy topological space or positive MV-algebra whose dual under the stated functors fails to recover the original object up to isomorphism.

read the original abstract

We extend Priestley Duality to suitable categories of fuzzy topological spaces and ordered algebraic structures that generalize bounded distributive lattices. The duality we prove extends not only classical Priestley Duality between Priestley Spaces and bounded distributive lattices, but also the duality between limit cut complete MV-algebras and Stone MV-topological spaces (proved by the second author in a previous paper) which, on its turn, is an extension of classical Stone Duality.

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.

Referee Report

1 major / 2 minor

Summary. The paper extends Priestley duality to suitable categories of fuzzy topological spaces and positive MV-algebras, which generalize bounded distributive lattices. It constructs contravariant functors between the category of fuzzy Priestley spaces and the category of positive MV-algebras, verifies that they form an adjunction, and proves that the unit and counit are natural isomorphisms, yielding an equivalence of categories. The construction specializes to classical Priestley duality when the fuzzy structure is crisp and also extends the author's prior duality between limit cut complete MV-algebras and Stone MV-topological spaces.

Significance. If the central equivalence holds, the result unifies and generalizes two established dualities within a single fuzzy-algebraic framework. The explicit definitions of the categories, the functor constructions, and the direct specialization to the crisp case are strengths that make the extension verifiable and potentially useful for further work in fuzzy logic and ordered algebraic structures.

major comments (1)
  1. [§3.2] §3.2, Definition 3.4: the fuzzy separation axiom (F2) is stated in terms of the fuzzy order and the topology; the proof that the functor F maps this axiom to the corresponding algebraic separation property in positive MV-algebras is only sketched and relies on an implicit continuity argument that should be expanded to confirm it is preserved under the duality.
minor comments (2)
  1. [§2.1] §2.1: the notation for the fuzzy topology (e.g., the use of μ for both membership and the fuzzy order) is overloaded and could be disambiguated with a subscript or different symbol.
  2. [§5] §5: the specialization to the classical Priestley case is asserted but would benefit from an explicit commutative diagram showing how the crisp functors recover the standard Priestley functors.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comment. We address the major point below and will incorporate the requested clarification in the revised version.

read point-by-point responses

  1. Referee: [§3.2] §3.2, Definition 3.4: the fuzzy separation axiom (F2) is stated in terms of the fuzzy order and the topology; the proof that the functor F maps this axiom to the corresponding algebraic separation property in positive MV-algebras is only sketched and relies on an implicit continuity argument that should be expanded to confirm it is preserved under the duality.

    Authors: We agree that the argument establishing that functor F preserves axiom (F2) is presented only in outline and invokes continuity implicitly. In the revised manuscript we will expand this part of the proof in §3.2 by spelling out the relevant continuity properties of the fuzzy order and the topology, and by giving an explicit verification that the image under F satisfies the corresponding separation condition in the category of positive MV-algebras. revision: yes

Circularity Check

0 steps flagged

Minor self-citation to co-author prior work; central extension proved independently via explicit constructions

full rationale

The manuscript defines categories of fuzzy Priestley spaces and positive MV-algebras, constructs the duality functors explicitly, verifies adjointness, and proves the unit and counit are natural isomorphisms establishing the equivalence. The reference to the second author's earlier paper on limit cut complete MV-algebras and Stone MV-topological spaces serves only as background context for the extension; the new result specializes directly to both classical Priestley duality and the prior MV case when the fuzzy structure is crisp, without any reduction of the main theorem to fitted parameters, self-definitions, or unverified self-citations. The derivation chain remains self-contained and externally verifiable through the provided functorial constructions and naturality proofs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard category-theoretic definitions of duality functors and on the existence of the generalized categories; no free parameters or new invented entities are introduced in the abstract.

axioms (1)
  • standard math Standard axioms of category theory for defining categories of spaces and algebras and for establishing adjoint equivalences.
    Invoked implicitly when stating that the duality holds between the two categories.

pith-pipeline@v0.9.0 · 5600 in / 1184 out tokens · 27720 ms · 2026-05-18T21:37:00.120608+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    A finite axiomatiza- tion of positive MV-algebras

    A bbadini, M., J ipsen, P., K roupa, T., and Vannucci, S. A finite axiomatiza- tion of positive MV-algebras. Algebra universalis 83 , 3 (2022), 28. DOI: 10.1007/s00012-022-00776-3

    work page doi:10.1007/s00012-022-00776-3 2022

  2. [2]

    B elluce, L. P. Semisimple algebras of infinite valued logic and bold fuzzy set theory. Canadian Journal of Mathematics 38 , 6 (1986), 1356–1379. DOI:10.4153/CJM-1986-069-0

    work page doi:10.4153/cjm-1986-069-0 1986

  3. [3]

    Fuzzy topological spaces

    C hang, C. Fuzzy topological spaces. Journal of Mathematical Analysis and Applications 24 (1968), 182–190. DOI:10.1016/0022-247x(68)90057-7

    work page doi:10.1016/0022-247x(68)90057-7 1968

  4. [4]

    L., D’ O tta viano, I

    C ignoli, R. L., D’ O tta viano, I. M., and Mundici, D. Algebraic Foundations of Many-valued Reasoning , vol. 7. Springer Science & Business Media, 2013. DOI:10.1007/978-94-015-9480-6

    work page doi:10.1007/978-94-015-9480-6 2013

  5. [5]

    On MV-Topologies

    de la Pa v a. On MV-Topologies. PhD thesis, PhD Thesis, Universidad del Valle, 2018

    work page 2018

  6. [6]

    V ., and Russo, C

    D e La Pa v a, L. V ., and Russo, C. Compactness in MV-topologies: Tychono ff theorem and Stone- ˇCech compactification. Archive for Mathematical Logic 59 (2020), 57–79

    work page 2020

  7. [7]

    V ., and Russo, C

    D e La Pa v a, L. V ., and Russo, C. Compactness in MV-topologies: Tychono ff theorem and Stone- ˇCech compactification. Archive for Mathematical Logic 59, 1 (2020), 57–79. DOI:10.1007/s00153-019-00679-6

    work page doi:10.1007/s00153-019-00679-6 2020

  8. [8]

    V .,and Russo, C

    D e La Pa v a, L. V .,and Russo, C. Mv-Algebras as sheaves of ℓ-groups on fuzzy topological spaces. Soft Computing 24 (2020), 8793–8804. 24

    work page 2020

  9. [9]

    D octor, H. P. The categories of Boolean lattices, Boolean rings and Boolean spaces. Canadian Mathematical Bulletin 7 (1964), 245–252

    work page 1964

  10. [10]

    Fuzzy topology , vol

    L iu, Y .-M., and Luo, M.-K. Fuzzy topology , vol. 9. World Scientific, 1998. DOI:10.1142/3281

    work page doi:10.1142/3281 1998

  11. [11]

    Fuzzy topological spaces and fuzzy compactness

    L owen, R. Fuzzy topological spaces and fuzzy compactness. J. Math. Anal. Appl 56 (1976), 621–633. DOI:10.1016/0022-247X(76)90029-9

    work page doi:10.1016/0022-247x(76)90029-9 1976

  12. [12]

    Łukasiewicz logic and MV-algebras

    N ola, A., and Leustean, I. Łukasiewicz logic and MV-algebras. Handbook of Mathematical Fuzzy Logic 2 (01 2011)

    work page 2011

  13. [13]

    Natural dualities for varieties generated by finite positive mv-chains

    P oiger, W. Natural dualities for varieties generated by finite positive mv-chains. Algebra universalis 85, 4 (2024), 37. DOI: 10.1007/s00012-024-00868-2

    work page doi:10.1007/s00012-024-00868-2 2024

  14. [14]

    P riestley, H. A. Representation of distributive lattices by means of ordered stone spaces. Bulletin of the London Mathematical Society 2, 2 (1970), 186–190

    work page 1970

  15. [15]

    An extension of Stone duality to fuzzy topologies and MV-algebras

    R usso, C. An extension of Stone duality to fuzzy topologies and MV-algebras. Fuzzy Sets and Systems 303 (2016), 80–96. DOI:10.1016/j.fss.2015.11.011

    work page doi:10.1016/j.fss.2015.11.011 2016

  16. [16]

    S tone, M. H. Boolean algebras and their application to topology. Proceedings of the National Academy of Sciences of the United States of America 20 , 3 (1934),

    work page 1934

  17. [17]

    DOI:https:10.1073/pnas.20.3.197

    work page doi:10.1073/pnas.20.3.197

  18. [18]

    S tone, M. H. The theory of representations for Boolean algebras. Transactions of the American Mathematical Society 40 (1936). DOI: 10.2307/1989664

    work page doi:10.2307/1989664 1936

  19. [19]

    S tone, M. H. Topological representations of distributive lattices and brouwerian logics. ˇCasopis pro pˇ estov´ an´ ı matematiky a fysiky 67, 1 (1938), 1–25

    work page 1938