Difference-restriction algebras with operators
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913976136237056 |
|---|---|
| author | Borlido, Célia Kudryavtseva, Ganna McLean, Brett |
| author_facet | Borlido, Célia Kudryavtseva, Ganna McLean, Brett |
| contents | We exhibit an adjunction between a category of abstract algebras of partial functions that we call difference-restriction algebras and a category of Hausdorff étale spaces. Difference-restriction algebras are those algebras isomorphic to a collection of partial functions closed under relative complement and domain restriction. Our adjunction generalises the adjunction between the category of generalised Boolean algebras and the category of Hausdorff spaces. We define the finitary compatible completion of a difference-restriction algebra and show that the monad induced by our adjunction yields the finitary compatible completion of any difference-restriction algebra. As a corollary, the adjunction restricts to a duality between the finitarily compatibly complete difference-restriction algebras and the locally compact zero-dimensional Hausdorff étale spaces, generalising the duality between generalised Boolean algebras and locally compact zero-dimensional Hausdorff spaces. We then extend these adjunction, duality, and completion results to difference-restriction algebras equipped with arbitrary additional compatibility preserving operators. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_03432 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Difference-restriction algebras with operators Borlido, Célia Kudryavtseva, Ganna McLean, Brett Logic Logic in Computer Science We exhibit an adjunction between a category of abstract algebras of partial functions that we call difference-restriction algebras and a category of Hausdorff étale spaces. Difference-restriction algebras are those algebras isomorphic to a collection of partial functions closed under relative complement and domain restriction. Our adjunction generalises the adjunction between the category of generalised Boolean algebras and the category of Hausdorff spaces. We define the finitary compatible completion of a difference-restriction algebra and show that the monad induced by our adjunction yields the finitary compatible completion of any difference-restriction algebra. As a corollary, the adjunction restricts to a duality between the finitarily compatibly complete difference-restriction algebras and the locally compact zero-dimensional Hausdorff étale spaces, generalising the duality between generalised Boolean algebras and locally compact zero-dimensional Hausdorff spaces. We then extend these adjunction, duality, and completion results to difference-restriction algebras equipped with arbitrary additional compatibility preserving operators. |
| title | Difference-restriction algebras with operators |
| topic | Logic Logic in Computer Science |
| url | https://arxiv.org/abs/2508.03432 |