Abstract
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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Zimmermann H.: Fuzzy set theory and its applications. Springer, Verlag (2001)
Pawlak, Z.: Rough sets: theoretical aspects of reasoning about data. Kluwer Dordrecht, The Netherlands (1991)
Wu, S., Lin, L., Gao, Q.: A new grey-rough set model based on interval-valued grey sets. In: Proceeding SMC’09 Proceedings of the 2009 IEEE international conference on systems, Man and Cybernetics (2009)
Garcia J., Rodabaugh S.: Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued “intuitionistic” sets, “intuitionistic” fuzzy sets and topologies. Fuzzy Set. Syst. 156(3), 445–484 (2005)
Peters J.: Near sets. Special theory about nearness of objects. Fundamamenta Informaticae 75(1–4), 407–433 (2007)
Ganter B., Wille R.: Formal concept analysis. Springer, Verlag (1999)
Pratt V.: Chu spaces from the representational viewpoint. Ann. Pure Appl. Logic 96, 319–333 (1999)
Peters J., Tiwari S.: Approach merotopies and near filters. Theory appl. Gen. Math. Notes 3(1), 1–15 (2011)
Peters J., Naimpally S.: Approach spaces for near families. Gen. Math. Notes 2(1), 159–164 (2011)
Rota G.C.: The phenomenology of mathematical beauty. Synthese 111(2), 171–182 (1997)
Blute, R., Scott, P.: Category theory for linear logicians. In: Ehrhard, T., Jirard, J., Ruet, P., Scott, P. (eds) Linear Logic in Computer Science, pp. 3–64. Cambridge University Press, Cambridge (2005)
Dugundji, J.: Topology. Allyn and Bacon (1996)
Lane S.M., Moerdijk I.: Sheaves in Geometry and Logic: a first introduction to Topos theory. Springer, Verlag (1992)
Pawlak Z.: Information systems. Theoretical foundations. Inform. Syst. 6(3), 205–218 (1981)
Pawlak Z.: Rough sets. Int. J. Comp. Inform. Sci. 11, 341–356 (1981)
Marek W., Pawlak Z.: Information storage and retrieval systems—mathematical foundations. Theor. Comput. Sci. 1(4), 331–354 (1976)
Peters, J.F., Wasilewski, P.: Foundations of near sets. Inform. Sci. 179(18), 3091–3109 (2009) http://dx.doi.org/10.1016/j.ins.2009.04.018
Potter M.: Set theory and its philosophy. Oxford University Press, USA (2004)
Koslowski, J., Melton, A.: Categorical perspectives. Birkha user Boston (2001)
Herrlich H.: A concept of nearness. Fuzzy Set. Syst. 5, 191–212 (1974)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Wolski, M. Toward Foundations of Near Sets: (Pre-)Sheaf Theoretic Approach. Math.Comput.Sci. 7, 125–136 (2013). https://doi.org/10.1007/s11786-013-0146-9
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11786-013-0146-9