Toward Foundations of Near Sets: (Pre-)Sheaf Theoretic Approach
The formal content of near set theory can be summarised in terms of three concepts: a perceptual system, a nearness relation and a near set. Perceptual systems and different forms of nearness relations have been already successfully related to important mathematical structures (e. g., approach space...
| Main Author: | |
|---|---|
| Format: | Journal Article |
| Published: |
Birkhauser
2013
|
| Online Access: | http://hdl.handle.net/20.500.11937/55502 |
| _version_ | 1848759638388899840 |
|---|---|
| author | Wolski, Marcin |
| author_facet | Wolski, Marcin |
| author_sort | Wolski, Marcin |
| building | Curtin Institutional Repository |
| collection | Online Access |
| description | The formal content of near set theory can be summarised in terms of three concepts: a perceptual system, a nearness relation and a near set. Perceptual systems and different forms of nearness relations have been already successfully related to important mathematical structures (e. g., approach spaces) and described in the frameworks of general topology and category theory. However, since near sets actually do not form any regular structure, there is lack of similar results about the concept of a near set. The main goal of this paper is to fill this gap and provide a mathematical basis for near sets on a similar abstract level as it has been already done for nearness relations. However, we take in the paper a down-to-earth approach; that is, instead of seeking the richest mathematical structures which express our intuitions (call it up-to-sky approach), we present in the paper the simplest category theoretic structures which, however, are rich enough to convey our ideas. Thus, although many times we actually deal with sheaves, we speak about them as pre-sheaves. The main reason is that a sheaf (in contrast to a pre-sheaf) embodies the idea of gluing (in the very similar way like manifolds, which are obtainable by gluing open subsets of Euclidean space), which is irrelevant to the study of near sets and rough sets. Furthermore, the concept a pre-sheaf is much simpler than a sheaf and should be easily "digested" by readers who are not very familiar with category theory. © 2013 The Author(s). |
| first_indexed | 2025-11-14T10:03:04Z |
| format | Journal Article |
| id | curtin-20.500.11937-55502 |
| institution | Curtin University Malaysia |
| institution_category | Local University |
| last_indexed | 2025-11-14T10:03:04Z |
| publishDate | 2013 |
| publisher | Birkhauser |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | curtin-20.500.11937-555022017-09-13T16:10:52Z Toward Foundations of Near Sets: (Pre-)Sheaf Theoretic Approach Wolski, Marcin The formal content of near set theory can be summarised in terms of three concepts: a perceptual system, a nearness relation and a near set. Perceptual systems and different forms of nearness relations have been already successfully related to important mathematical structures (e. g., approach spaces) and described in the frameworks of general topology and category theory. However, since near sets actually do not form any regular structure, there is lack of similar results about the concept of a near set. The main goal of this paper is to fill this gap and provide a mathematical basis for near sets on a similar abstract level as it has been already done for nearness relations. However, we take in the paper a down-to-earth approach; that is, instead of seeking the richest mathematical structures which express our intuitions (call it up-to-sky approach), we present in the paper the simplest category theoretic structures which, however, are rich enough to convey our ideas. Thus, although many times we actually deal with sheaves, we speak about them as pre-sheaves. The main reason is that a sheaf (in contrast to a pre-sheaf) embodies the idea of gluing (in the very similar way like manifolds, which are obtainable by gluing open subsets of Euclidean space), which is irrelevant to the study of near sets and rough sets. Furthermore, the concept a pre-sheaf is much simpler than a sheaf and should be easily "digested" by readers who are not very familiar with category theory. © 2013 The Author(s). 2013 Journal Article http://hdl.handle.net/20.500.11937/55502 10.1007/s11786-013-0146-9 Birkhauser unknown |
| spellingShingle | Wolski, Marcin Toward Foundations of Near Sets: (Pre-)Sheaf Theoretic Approach |
| title | Toward Foundations of Near Sets: (Pre-)Sheaf Theoretic Approach |
| title_full | Toward Foundations of Near Sets: (Pre-)Sheaf Theoretic Approach |
| title_fullStr | Toward Foundations of Near Sets: (Pre-)Sheaf Theoretic Approach |
| title_full_unstemmed | Toward Foundations of Near Sets: (Pre-)Sheaf Theoretic Approach |
| title_short | Toward Foundations of Near Sets: (Pre-)Sheaf Theoretic Approach |
| title_sort | toward foundations of near sets: (pre-)sheaf theoretic approach |
| url | http://hdl.handle.net/20.500.11937/55502 |