arxiv: 2604.20603 · v1 · submitted 2026-04-22 · 🧮 math.CT · cs.LO· math.LO

Recognition: unknown

Topological Dualities for Modal Algebras

Matthew Collinson

Pith reviewed 2026-05-09 22:21 UTC · model grok-4.3

classification 🧮 math.CT cs.LOmath.LO

keywords modal algebrasStone dualitytopological dualitymodal logicframesbinary relationssemicontinuous relations

0 comments

The pith

Stone-type dualities relate categories of frames with pairs of modal operators to spaces carrying binary relations.

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

The paper sets out to establish a family of dualities in the style of Stone that connect categories of relational frames, each equipped with two modal operators, to categories of topological spaces each equipped with one binary relation. It examines how the choice of morphisms between the relational structures affects the construction of the dual points. The setup simplifies considerably when the binary relations are semicontinuous, which makes it possible to match specific modal axioms with corresponding properties of the relation in a direct way. A reader would care because this supplies a geometric or topological semantics for modal logics involving multiple operators, potentially easing the analysis of their properties through spatial methods.

Core claim

We display a family of Stone-type dualities linking categories of frames carrying pairs of modal operators to categories of spaces carrying a binary relation. Different notions of morphism used on the relational side lead to significant variations in the point construction. The situation simplifies in the case of semicontinuous relations, allowing for straightforward correspondences between modal axioms and relational properties.

What carries the argument

Stone-type duality between modal frames and relational spaces, with the point construction as the varying mechanism depending on morphism definitions.

If this is right

Modal axioms translate directly into properties of binary relations when relations are semicontinuous.
Different choices of morphisms on the space side produce different dual categories and point constructions.
The dualities extend Stone duality to handle pairs of modal operators simultaneously.
Correspondences between algebraic and relational properties are preserved under the duality.

Where Pith is reading between the lines

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

This approach might allow topological tools to prove results about modal logics that are hard to see algebraically.
Similar dualities could be developed for other combinations of operators or for intuitionistic modal logics.
Applications could include model checking or decidability results via the spatial representation.

Load-bearing premise

The dualities depend on the particular definitions of morphisms in the categories involved and require the relations to be semicontinuous for the simplifications to hold, assuming that the standard constructions from topology and category theory apply directly.

What would settle it

The claim would be falsified by exhibiting a frame with two modal operators that cannot be dualized to any space with a binary relation under the given constructions, or by finding a semicontinuous relation whose properties do not correspond to the modal axioms as described.

read the original abstract

We display a family of Stone-type dualities linking categories of frames carrying pairs of modal operators to categories of spaces carrying a binary relation. Different notions of morphism used on the relational side lead to significant variations in the point construction. We show how the situation simplifies in the case of semicontinuous relations, allowing for straightforward correspondences between modal axioms and relational properties.

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

Collinson gives a family of Stone-type dualities for frames with two modal operators, with clean simplifications when relations are semicontinuous that tie axioms to relational properties.

read the letter

The main point is that the paper constructs a family of dualities between categories of frames with pairs of modal operators and categories of spaces with binary relations. Different morphism choices on the relational side produce different point constructions, and the whole thing simplifies when the relations are semicontinuous so that modal axioms correspond directly to relational properties. This is presented as an extension of Stone duality rather than a reworking of existing results. The constructions appear to rest on standard category-theoretic functors and established duality methods, with no obvious circularity in the setup. The explicit handling of how morphism variations affect the dualities and the reduction to straightforward axiom-property matches in the semicontinuous case are the clearest contributions. If the proofs in the body verify that the functors are equivalences and that the correspondences hold without extra constraints, that would be solid work in a narrow area. The main limitation is the specialized scope: it stays within modal algebras with two operators and does not explore broader applications or examples beyond the semicontinuous simplification. The abstract and summary give no indication of missing assumptions or internal inconsistencies in the duality functors, but the strength of the claims still depends on the detailed verification of the equivalences. This is mainly for readers already working in modal logic and categorical duality theory who want tools to organize axiom-relational correspondences. A specialist in the area could extract value from the variations and simplifications, but it is unlikely to interest a wider audience. I would send it for peer review because the core claim is specific, the approach is methodical, and the topic is established enough that referees can check the constructions directly.

Referee Report

1 major / 2 minor

Summary. The paper constructs a family of Stone-type dualities between categories of frames equipped with pairs of modal operators and categories of topological spaces equipped with binary relations. Different choices of morphisms on the relational side induce variations in the associated point constructions. The situation simplifies when restricting to semicontinuous relations, yielding direct correspondences between modal axioms and properties of the dual relations.

Significance. If the dualities are correctly established via the indicated functors and point constructions, the work extends classical Stone duality to multi-modal algebras and supplies a topological setting for correspondence theory. The explicit treatment of morphism variations and the clean simplifications under semicontinuity are useful contributions that could support further applications in modal logic and categorical duality theory.

major comments (1)

The central duality statements (presumably in the main theorems) rely on the functors preserving the modal operators and the binary relation; without explicit verification that the unit and counit of the adjunction are natural with respect to the chosen morphism classes, the equivalence of categories cannot be confirmed.

minor comments (2)

Notation for the two modal operators and the binary relation should be introduced uniformly in the preliminaries section to avoid ambiguity when switching between frame and space sides.
The definition of semicontinuous relations and the precise sense in which morphisms are required to preserve them should be stated before the simplification results are derived.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive assessment of the paper and for identifying a point where the presentation of the duality results can be strengthened. We address the major comment below and will revise the manuscript accordingly.

read point-by-point responses

Referee: The central duality statements (presumably in the main theorems) rely on the functors preserving the modal operators and the binary relation; without explicit verification that the unit and counit of the adjunction are natural with respect to the chosen morphism classes, the equivalence of categories cannot be confirmed.

Authors: We agree that explicit verification of naturality for the unit and counit is required to confirm that the functors induce an equivalence of categories and that they preserve the modal operators and binary relations. The original manuscript defines the functors and point constructions so that preservation holds by construction for the chosen morphism classes, but we acknowledge that the naturality of the unit and counit was not verified in a dedicated step. In the revised version we will add a short subsection (or appendix) that explicitly checks naturality of both the unit and counit with respect to the morphism classes on the frame side and the relational-space side. This will make the equivalence statements fully rigorous. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected in duality constructions

full rationale

The paper presents a family of Stone-type dualities via explicit functorial constructions between categories of frames with modal operators and spaces with binary relations, using standard category-theoretic and topological methods. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear in the abstract or described scope; the simplifications for semicontinuous relations are derived as a special case from the general morphisms and point constructions rather than reducing to the inputs by definition. The central claims rest on independent proofs of equivalence and axiom-property correspondences that do not presuppose the target results.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so no specific free parameters, axioms, or invented entities can be identified from the text.

pith-pipeline@v0.9.0 · 5335 in / 991 out tokens · 53201 ms · 2026-05-09T22:21:52.188653+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

22 extracted references · 1 canonical work pages · 1 internal anchor

[1]

Abramsky

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

1991
[2]

Abramsky and A

S. Abramsky and A. Jung. Domain theory. InHandbook of Logic in Computer Science. Oxford University Press, 1992

1992
[3]

Aiello, J

M. Aiello, J. Van Benthem, and G. Bezhanishvili. Reasoning about space: the modal way. Journal of Logic and Computation, 13(6):889–920, 2003

2003
[4]

Alechina, M

N. Alechina, M. Mendler, V. De Paiva, and E. Ritter. Categorical and Kripke semantics for constructive S4 modal logic. InInternational workshop on computer science logic, pages 292–307. Springer, 2001

2001
[5]

Baltag and J

A. Baltag and J. van Benthem. Knowability as continuity: A topological account of informa- tional dependence.Logics, 3(3), 2025

2025
[6]

Neural Machine Translation by Jointly Learning to Align and Translate

M. Collinson. Topologically valued transition structures.arXiv preprint arXiv:1409.0473, 2026

work page internal anchor Pith review arXiv 2026
[7]

Conradie, S

W. Conradie, S. Ghilardi, and A. Palmigiano. Unified correspondence. InJohan van Benthem on logic and information dynamics, pages 933–975. Springer, 2014. 20

2014
[8]

W.B. Ewald. Intuitionistic tense and modal logic.The Journal of Symbolic Logic, 51(1):166– 179, 1986

1986
[9]

Fairtlough and M

M. Fairtlough and M. Mendler. Propositional lax logic.Information and Computation, 137(1):1–33, 1997

1997
[10]

Goldblatt

R.I. Goldblatt. Metamathematics of modal logic i.Reports on Mathematical Logic, 6:41–77, 1976

1976
[11]

B.P. Hilken. Duality for intuitionistic modal algebras. Technical Report UMCS-96-12-2, Department of Computer Science, The University of Manchester , U.K., 1996

1996
[12]

B.P. Hilken. Topological duality for intuitionistic modal algebras.Journal of Pure and Applied Algebra, 148:171–189, 2000

2000
[13]

Johnstone.Stone Spaces

P.T. Johnstone.Stone Spaces. Cambridge University Press, 1982

1982
[14]

Johnstone

P.T. Johnstone. The Vietoris monad on the category of locales. InContinuous lattices and related topics, volume 27 ofMathematik-Arbeitspapiere, pages 162–179. Universitat Bremen, 1982

1982
[15]

Mendler and V

M. Mendler and V. De Paiva. Constructive CK for contexts. InProceedings of the CRR’05 Workshop on Context Representation and Reasoning, volume 136. CEUR Proceedings, Paris, 2005

2005
[16]

Plotkin and C

G. Plotkin and C. Stirling. A framework for intuitionistic modal logics. InTheoretical Aspects of Reasoning about Knowledge (Proceedings of the 1986 Conference), pages 399–406. Morgan Kaufmann, 1986. Extended Abstract

1986
[17]

G.D. Plotkin. Post-graduate lecture notes in advanced domain theory. Department of Com- puter Science, University of Edinburgh, U.K., 1981

1981
[18]

Popkorn.First Steps in Modal Logic

S. Popkorn.First Steps in Modal Logic. Cambridge University Press, 1994

1994
[19]

Robinson

E. Robinson. Power-domains, modalities and the Vietoris monad. Technical Report 98, University of Cambridge, Computer Laboratory, 1986

1986
[20]

Simpson.The Proof Theory and Semantics of Intuitionistic Modal Logic

A.K. Simpson.The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, 1994

1994
[21]

Wijesekera

D. Wijesekera. Constructive modal logics I.Annals of Pure and Applied Logic, 50(3):271–301, 1990

1990
[22]

Z. Zhao. Correspondence theory for modal Fairtlough–Mendler semantics of intuitionistic modal logic.Studia Logica, 111(6):1057–1082, 2023. 21

2023