Duality Theory for Sequent Algebras

Abstract

Sequent algebras were introduced by D. Vakarelov \cite{VakarelovSequentALg} as a generalization of contact algebras, replacing the binary contact relation with a relation between finite sets of regions and regions. In this paper, we present sequent algebras as Boolean algebras endowed with a finitary closure operator satisfying four conditions. We study the irreducible closed sets of these operators, which coincide with Vakarelov's clans, and use them to develop a topological representation theory for sequent algebras. We introduce the categories of sequent algebras and sequent spaces and establish a dual equivalence between them, as well as a restricted dual equivalence for morphisms preserving the full Boolean structure. We also characterize sequent congruences in terms of positive filters and minimally decreasing closed subsets of the associated sequent spaces. Finally, we show that the category of sequent algebras with sequent homomorphisms is topological over the category of Boolean algebras, obtaining completeness and cocompleteness and a complete lattice structure on the sequent structures over each Boolean algebra.

Ringel self-duality of hereditary algebras via Auslander-Reiten theory
Tiago Cruz
arXiv24 Sep 2026PreprintarXiv licenceFull textAlgebra & number theoryarXiv
On a topological duality for Stonean Hilbert algebras
Ismael Calomino, Daniela Montangie
arXiv8 Sep 2026PreprintarXiv licenceFull textLogic & foundationsarXiv
Koszul duality for finite-dimensional absolutely Koszul algebras
A. M. Bouhada
arXiv12 Sep 2026PreprintarXiv licenceFull textAlgebra & number theoryarXiv
Koszul Duality for Symmetric Algebras and Derived Loop Spaces
Isshin Hisamichi
arXiv16 Sep 2026PreprintarXiv licenceFull textAlgebra & number theoryarXiv
Conditioning on Subalgebras - Entropy Duality and Generalized Quantum Stein's Lemma in von Neumann Algebras
Bjarne Bergh, Li Gao, Mizanur Rahaman
arXiv1 Oct 2026PreprintarXiv licenceFull textAnalysis & PDEs Mathematical physicsarXiv

Cite

BibTeX RIS

BibTeX

@misc{celani2026duality,
  title = {{Duality Theory for Sequent Algebras}},
  author = {Sergio A. Celani and William Zuluaga},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.20956},
  eprint = {2610.20956},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.20956},
  note = {CC BY 4.0},
}

RIS

TY  - UNPB
TI  - Duality Theory for Sequent Algebras
AU  - Sergio A. Celani
AU  - William Zuluaga
PY  - 2026
DA  - 2026/10/14
PB  - arXiv
DO  - 10.48550/arxiv.2610.20956
UR  - https://arxiv.org/abs/2610.20956
AB  - Sequent algebras were introduced by D. Vakarelov \cite{VakarelovSequentALg} as a generalization of contact algebras, replacing the binary contact relation with a relation between finite sets of regions and regions. In this paper, we present sequent algebras as Boolean algebras endowed with a finitary closure operator satisfying four conditions. We study the irreducible closed sets of these operators, which coincide with Vakarelov's clans, and use them to develop a topological representation theory for sequent algebras. We introduce the categories of sequent algebras and sequent spaces and establish a dual equivalence between them, as well as a restricted dual equivalence for morphisms preserving the full Boolean structure. We also characterize sequent congruences in terms of positive filters and minimally decreasing closed subsets of the associated sequent spaces. Finally, we show that the category of sequent algebras with sequent homomorphisms is topological over the category of Boolean algebras, obtaining completeness and cocompleteness and a complete lattice structure on the sequent structures over each Boolean algebra.
ER  -

Abstract

Related

Cite