Semiframes: the algebra of semitopologies and actionable coalitions
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912909978763264 |
|---|---|
| author | Gabbay, Murdoch J. |
| author_facet | Gabbay, Murdoch J. |
| contents | We introduce semiframes (an algebraic structure) and investigate their duality with semitopologies (a topological one). Both semitopologies and semiframes are relatively recent developments, arising from a novel application of topological ideas to study decentralised computing systems.
Semitopologies generalise topology by removing the condition that intersections of open sets are necessarily open. The motivation comes from identifying the notion of an actionable coalition in a distributed system -- a set of participants with sufficient resources for its members to collaborate to take some action -- with open set; since just because two sets are actionable (have the resources to act) does not necessarily mean that their intersection is.
We define notions of category and morphism and prove a categorical duality between (sober) semiframes and (spatial) semitopologies, and we investigate how key well-behavedness properties that are relevant to understanding decentralised systems, transfer (or do not transfer) across the duality. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2310_00956 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Semiframes: the algebra of semitopologies and actionable coalitions Gabbay, Murdoch J. Logic in Computer Science Category Theory General Topology 54A05, 06D50, 06F30, 46H15, 54J05 F.3.2; F.3.3 We introduce semiframes (an algebraic structure) and investigate their duality with semitopologies (a topological one). Both semitopologies and semiframes are relatively recent developments, arising from a novel application of topological ideas to study decentralised computing systems. Semitopologies generalise topology by removing the condition that intersections of open sets are necessarily open. The motivation comes from identifying the notion of an actionable coalition in a distributed system -- a set of participants with sufficient resources for its members to collaborate to take some action -- with open set; since just because two sets are actionable (have the resources to act) does not necessarily mean that their intersection is. We define notions of category and morphism and prove a categorical duality between (sober) semiframes and (spatial) semitopologies, and we investigate how key well-behavedness properties that are relevant to understanding decentralised systems, transfer (or do not transfer) across the duality. |
| title | Semiframes: the algebra of semitopologies and actionable coalitions |
| topic | Logic in Computer Science Category Theory General Topology 54A05, 06D50, 06F30, 46H15, 54J05 F.3.2; F.3.3 |
| url | https://arxiv.org/abs/2310.00956 |