Difference-restriction algebras of partial functions with operators: discrete duality and completion

DOI10.1016/j.jalgebra.2022.03.039OpenAlexW3109823208MaRDI QIDQ2136931

Célia Borlido, Brett McLean

Publication date: 16 May 2022

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2012.00224

zbMATH Keywords

dualitycomplete representationpartial functioncompatible completioncompletely additive operators

Mathematics Subject Classification ID

Group theory and generalizations (20-XX) Associative rings and algebras (16-XX)

Related Items (1)

Difference-restriction algebras of partial functions: axiomatisations and representations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A non-commutative Priestley duality.
• Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
• Completely representable lattices
• The algebra of functions with antidomain and range
• The axiomatization of override and update
• Minimally generated Boolean algebras
• Recent developments in the theory of skew lattices
• A categorical duality for algebras of partial functions
• Difference-restriction algebras of partial functions: axiomatisations and representations
• Override and update
• Monoids with tests and the algebra of possibly non-halting programs
• A perspective on non-commutative frame theory
• Pseudogroups and their étale groupoids.
• Categorial characterization of the MacNeille completion
• Relation algebras and function semigroups
• Subgroups of the group of homeomorphisms of the Cantor space and a duality between a class of inverse monoids and a class of Hausdorff étale groupoids
• Boolean sets, skew Boolean algebras and a non-commutative Stone duality
• The finite representation property for composition, intersection, domain and range
• MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS
• Complete representation by partial functions for composition, intersection and anti-domain
• Partial Maps with Domain and Range: Extending Schein's Representation
• A NONCOMMUTATIVE GENERALIZATION OF STONE DUALITY
• Difference semigroups
• Complete representations in algebraic logic
• NON-COMMUTATIVE STONE DUALITY: INVERSE SEMIGROUPS, TOPOLOGICAL GROUPOIDS AND C*-ALGEBRAS
• FUNCTIONAL MENGER -ALGEBRAS
• Completely Representable Relation Algebras
• The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable
• Disjoint-union partial algebras
• Canonical extensions and relational completeness of some substructural logics
• Boolean Algebras with Operators. Part I
• Bounded lattice expansions

This page was built for publication: Difference-restriction algebras of partial functions with operators: discrete duality and completion