A categorical duality for algebras of partial functions

DOI10.1016/j.jpaa.2021.106755zbMath1482.20036arXiv2009.07895OpenAlexW3158267099MaRDI QIDQ2031546

Brett McLean

Publication date: 9 June 2021

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

dualitytopological categoryStone spacepartial function

Mathematics Subject Classification ID

Semigroups of transformations, relations, partitions, etc. (20M20) Semigroups in automata theory, linguistics, etc. (20M35) Stone spaces (Boolean spaces) and related structures (06E15) Ordered semigroups and monoids (06F05) Connections of semigroups with homological algebra and category theory (20M50) Representation of semigroups; actions of semigroups on sets (20M30)

Related Items (2)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A non-commutative Priestley duality.
• Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
• Regular languages and Stone duality
• The algebra of functions with antidomain and range
• Domain theory in logical form
• A stone-type duality theorem for separation logic via its underlying bunched logics
• Stone Duality and the Recognisable Languages over an Algebra
• MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS
• Duality and Equational Theory of Regular Languages
• A NONCOMMUTATIVE GENERALIZATION OF STONE DUALITY
• FUNCTIONAL MENGER -ALGEBRAS
• Bounded distributive lattice expansions
• Metamathematics of modal logic
• On finite monoids having only trivial subgroups
• Canonical extensions and relational completeness of some substructural logics

This page was built for publication: A categorical duality for algebras of partial functions