pith. sign in

arxiv: 2606.03389 · v1 · pith:FJNAVABMnew · submitted 2026-06-02 · 🧮 math.RA

Spectral duality for some modal and residuated groupoid expansions of De Morgan algebras

Joseph McDonald This is my paper

Pith reviewed 2026-06-28 07:49 UTC · model grok-4.3

classification 🧮 math.RA
keywords spectral dualityDe Morgan algebrasS4 De Morgan algebrasDe Morgan groupoidslattice expansionsduality theoryclosure operatorgroupoid operations
0
0 comments X

The pith

Spectral duality holds for S4 De Morgan algebras and De Morgan groupoids.

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

This paper aims to establish spectral duality for De Morgan algebras equipped with a closure operator and for De Morgan groupoids. It does so by adapting dualities for De Morgan algebras and for relevance algebras, then combining them through an isomorphism between two categories of spaces. A sympathetic reader would care because the result equates algebraic and topological descriptions for these structures that combine negation with modal or groupoid operations. If correct, the dualities let one move properties back and forth between the algebra side and the space side for each category.

Core claim

The paper claims that the category of S4 De Morgan algebras is dually equivalent to a category of spectral spaces, and the category of De Morgan groupoids is dually equivalent to its own category of spectral spaces. This equivalence is obtained by adapting the Priestley-style duality for general De Morgan algebras together with the Priestley-style duality for relevance algebras under the isomorphism between Priestley spaces and spectral spaces.

What carries the argument

The adaptation of Priestley-style duality for general De Morgan algebras together with the duality for relevance algebras, combined via the isomorphism between Priestley spaces and spectral spaces.

If this is right

  • The category of S4 De Morgan algebras is dually equivalent to a suitable category of spectral spaces.
  • The category of De Morgan groupoids is dually equivalent to a suitable category of spectral spaces.
  • Algebraic properties of these expansions can be studied equivalently via their dual spectral spaces.

Where Pith is reading between the lines

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

  • The same adaptation technique could be tested on further expansions that add both modal and residuated operations at once.
  • Explicit computation of dual spaces for small finite examples in each category would provide a direct check of the claimed equivalences.
  • The dualities might support transfer of canonicity or completeness results between the algebraic and topological presentations.

Load-bearing premise

The adaptation of the two existing dualities succeeds when they are combined through the isomorphism between the two space categories.

What would settle it

An S4 De Morgan algebra whose image under the adapted construction is not a spectral space satisfying the required conditions, or a spectral space that does not produce a valid S4 De Morgan algebra.

Figures

Figures reproduced from arXiv: 2606.03389 by Joseph McDonald.

Figure 1
Figure 1. Figure 1: depicts Hasse diagrams of various De Morgan lattices. • • • • • • • • • • • • • [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Lattice of quasivarieties of De Morgan lattices [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
read the original abstract

Stone demonstrated that the category $\mathbf{DLATT_{0,1}}$ of bounded distributive lattices is dually equivalent to the category $\mathbf{Spec}$ of spectral spaces and Priestley showed that $\mathbf{DLatt_{0,1}}$ is dually equivalent to the category $\mathbf{Priest}$ of Priestley spaces so that $\mathbf{Spec}$ is equivalent $\mathbf{Priest}$. Cornish strengthened this by showing that $\mathbf{Spec}$ and $\mathbf{Priest}$ are in fact isomorphic. In this study, we investigate the duality theory of various lattice expansions of certain bounded distributive lattice-ordered algebras, known as De Morgan algebras. In particular we obtain spectral duality results for the category $\mathbf{S4DM}$ of De Morgan algebras equipped with a closure operator, which we call S4 De Morgan algebras, as well as for the category $\mathbf{DMGrp}$ of De Morgan groupoids. This is achieved by an appropriate adaptation of Bimb\'o's Priestley-style duality for general De Morgan algebras together with Urquhart's Priestley-style duality for relevance algebras under the isomorphism between $\mathbf{Priest}$ and $\mathbf{Spec}$.

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 / 1 minor

Summary. The paper claims to obtain spectral dualities for the category S4DM of S4 De Morgan algebras (De Morgan algebras with a closure operator) and the category DMGrp of De Morgan groupoids by adapting Bimbó's Priestley-style duality for De Morgan algebras and Urquhart's Priestley-style duality for relevance algebras, then transporting the results across Cornish's isomorphism between Priestley spaces and spectral spaces.

Significance. If the central adaptation succeeds, the results would extend known Priestley dualities for De Morgan algebras to their modal and residuated groupoid expansions, yielding corresponding spectral dualities. This builds directly on independently published dualities (Bimbó, Urquhart, Cornish) without introducing new free parameters or ad-hoc axioms, which is a strength when the transport is verified.

major comments (1)
  1. [Abstract] Abstract: the claim that spectral dualities for S4DM and DMGrp follow from the Priestley-style dualities via Cornish's isomorphism requires explicit verification that the isomorphism is natural with respect to the additional unary closure operator (S4 case) and binary groupoid operation (DMGrp case). The provided description does not show how the dual relations or maps interpreting these operations are preserved or transported, which is load-bearing for the central claim.
minor comments (1)
  1. [Abstract] The abstract would be clearer if it stated the precise categories of dual spaces obtained for S4DM and DMGrp rather than only naming the source dualities.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and the constructive comment on the abstract. We address the point below and will make the requested clarification in the revised version.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the claim that spectral dualities for S4DM and DMGrp follow from the Priestley-style dualities via Cornish's isomorphism requires explicit verification that the isomorphism is natural with respect to the additional unary closure operator (S4 case) and binary groupoid operation (DMGrp case). The provided description does not show how the dual relations or maps interpreting these operations are preserved or transported, which is load-bearing for the central claim.

    Authors: We agree that the abstract is too concise on this point. Cornish's isomorphism is an isomorphism of categories between Priestley spaces and spectral spaces that preserves the underlying lattice structure; the additional unary closure operator (in S4DM) and binary groupoid operation (in DMGrp) are interpreted via relations or maps defined directly from the lattice operations in the Priestley dualities of Bimbó and Urquhart. Because the isomorphism is natural with respect to the lattice operations, the transported structures remain well-defined on the spectral side. In the revised manuscript we will expand the abstract by one sentence making this transport explicit and will add a short paragraph in the introduction cross-referencing the relevant sections where the adapted dual relations are constructed. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation rests on external dualities

full rationale

The paper adapts Bimbó’s Priestley duality for De Morgan algebras, Urquhart’s duality for relevance algebras, and Cornish’s isomorphism Priest ≅ Spec to obtain spectral dualities for the expanded categories S4DM and DMGrp. No step in the abstract or described method reduces a new claim to a quantity defined inside the paper, fits a parameter to data then renames it a prediction, or relies on a self-citation chain. The load-bearing steps are citations to independently published results whose verification lies outside the present manuscript. This is the normal case of a paper whose central claims inherit their justification from prior external work.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the standard results of Stone, Priestley, Bimbó, Urquhart, and Cornish; no free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)
  • standard math Cornish's isomorphism between the categories of Priestley spaces and spectral spaces
    Invoked explicitly to combine the two Priestley-style dualities into spectral ones.

pith-pipeline@v0.9.1-grok · 5732 in / 1158 out tokens · 22205 ms · 2026-06-28T07:49:27.535762+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

23 extracted references

  1. [1]

    Abramsky, S.: Domain theory in logical form.Annals of Pure and Applied Logic.51, 1–77 (1991)

    1991

  2. [2]

    Alvarez-Manilla, M., Jung, A., Keimel, K.: The probabilistic powerdomain for stably compact spaces.Theoretical Computer Science328, 221–244 (2004)

    2004

  3. [3]

    Belnap, N., Spencer, J.: Intensionally complemented distributive lattices.Portugaliae Mathe- matica,25, 99–104 (1966)

    1966

  4. [4]

    Belnap, N.: A useful four-valued logic. In J. Michael Dunn and George Epstein, editors, Modern uses of multiple-valued logic,2Episteme, 5–37. Springer Netherlands (1977)

    1977

  5. [5]

    Bimb´ o and J

    K. Bimb´ o and J. M. Dunn.Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi. CSLI Lecture Notes 188, Stanford (2008)

    2008

  6. [6]

    Mathematical Structures in Computer Science.20, 359–393 (2010)

    Bezhanishvili, G., Bezhanishvili, N., Gabelaia, D., Kurz, A.: Bitopological duality for distribu- tive lattices and Heyting algebras. Mathematical Structures in Computer Science.20, 359–393 (2010)

    2010

  7. [7]

    Bimb´ o, K.: Functorial Duality for ortholattices and De Morgan Lattices.Logica Universalis, 1, 311–333 (2007)

    2007

  8. [8]

    H.: On H

    Cornish, W. H.: On H. Priestley’s dual of the category of bounded distributive lattices. Matem- aticka Vesnik.12, 329–332 (1975)

    1975

  9. [9]

    Dickmann, M., Schwartz, N., Tressl, M.: Spectral Spaces.New Mathematical Monographs, vol.35, Cambridge University Press, Cambridge (2019)

    2019

  10. [10]

    Canadian Mathematical Bulletin.7, 245–252 (1964)

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

    1964

  11. [11]

    M.: The algebra of intensional logics, Ph

    Dunn, J. M.: The algebra of intensional logics, Ph. D. thesis, University of Pittsburgh, Ann Arbor (1966.)

    1966

  12. [12]

    Advances in Applied Mathematics.25, 233–238 (2000)

    Fleisher, I.: Priestley’s duality from Stone’s. Advances in Applied Mathematics.25, 233–238 (2000)

    2000

  13. [13]

    Gehrke, M., Grigorieff, S., Pin., J.: Duality and equational theory of regular languages. In L. Aceto, I. Damgaard, L.A. Goldberg, M.M. Halldorsson, A. Ingolfsdottir, and I. Walkiewicz, edi- tors, Automata, Languages and Programming, volume 5125 of LNCS, 246–257. Springer (2008)

    2008

  14. [14]

    In Mathematical foundations of programming semantics (Pittsburgh, PA, 1997), volume 6 of Electron

    Jung, A., Kegelmann, M., Moshier, M.: Multilingual sequent calculus and coherent spaces. In Mathematical foundations of programming semantics (Pittsburgh, PA, 1997), volume 6 of Electron. Notes Theor. Comput. Sci. Elsevier, Amsterdam (1997)

    1997

  15. [15]

    Jung, A., Kegelmann, M., Moshier, M.: Stably compact spaces and closed relations. In S. Brookes and M. Mislove, editors, 17th Conference on Mathematical Foundations of Programming Semantics, volume 45 of Electron. Notes in Theor. Comput. Sci., Amsterdam (2001)

    2001

  16. [16]

    Technical Report CSR- 06-13, School of Computer Science, University of Birmingham (2006)

    Jung, A., Moshier, M.: On the bitopological nature of Stone duality. Technical Report CSR- 06-13, School of Computer Science, University of Birmingham (2006)

    2006

  17. [17]

    Meyer, R. K. , Routley, R.: Algebraic analysis of entailment I.Logique et Analyse.15, 407–428 (1972)

    1972

  18. [18]

    Acta Universitatis Carolinae Philosophica et Historica 2 – Miscellanea Logica XI, 45–61 (2017)

    Prenosil, A.: The inconsistency predicate on De Morgan lattices. Acta Universitatis Carolinae Philosophica et Historica 2 – Miscellanea Logica XI, 45–61 (2017)

    2017

  19. [19]

    Priestley, H.: Representation of distributive lattices by means of ordered Stone spaces.Bul- letin of the London Mathematical Society2, 186–190 (1972)

    1972

  20. [20]

    Pynko, A.: Implicational classes of De Morgan lattices.Discrete Mathematics,205, 171–181 (1999)

    1999

  21. [21]

    Transactions of the American Mathematical Society40, 37–111 (1936)

    Stone, M.: The theory of representation for Boolean algebras. Transactions of the American Mathematical Society40, 37–111 (1936)

    1936

  22. [22]

    ˇCasopis pro Pˇ estov´ an´ ı Matematiky a Fysiky.67, 1–25 (1937)

    Stone, M.: Topological representations of distributive lattices and Brouwerian logics. ˇCasopis pro Pˇ estov´ an´ ı Matematiky a Fysiky.67, 1–25 (1937)

    1937

  23. [23]

    Urquhart, A.: Duality for algebras of relevant logics.Studia Logica.56, 263–276 (1996)

    1996