Domains, Information Frames, Rough Sets: An Equivalence of Categories
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918035981336576 |
|---|---|
| author | Spreen, Dieter |
| author_facet | Spreen, Dieter |
| contents | A generalization of Scott's information systems~\cite{sco82} is presented that captures exactly all continuous domains. The global consistency predicate in Scott's definition is relativized. Now, for every atomic statement, there is a consistency predicate that states which finite sets of statements express information that is consistent with the given statement. The category of information frames is shown to be equivalent to the category of domains. Moreover, the relationship with CF-approximation spaces introduced by Wu and Xu~\cite{wx23} is studied. The corresponding category is also shown to be equivalent with the category of information frames. This research achieves a refinement of the equivalence result of Wu and Xu of the category of CF-approximation spaces with the category of domains. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_20991 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Domains, Information Frames, Rough Sets: An Equivalence of Categories Spreen, Dieter Logic in Computer Science Logic 06B35, 68Q55 F.3.m A generalization of Scott's information systems~\cite{sco82} is presented that captures exactly all continuous domains. The global consistency predicate in Scott's definition is relativized. Now, for every atomic statement, there is a consistency predicate that states which finite sets of statements express information that is consistent with the given statement. The category of information frames is shown to be equivalent to the category of domains. Moreover, the relationship with CF-approximation spaces introduced by Wu and Xu~\cite{wx23} is studied. The corresponding category is also shown to be equivalent with the category of information frames. This research achieves a refinement of the equivalence result of Wu and Xu of the category of CF-approximation spaces with the category of domains. |
| title | Domains, Information Frames, Rough Sets: An Equivalence of Categories |
| topic | Logic in Computer Science Logic 06B35, 68Q55 F.3.m |
| url | https://arxiv.org/abs/2502.20991 |