A general view of approximation. (English) Zbl 1113.54013

In this interesting paper, the authors start from the idea of approximating real numbers by decimal expansions to develop a notion of ‘approximation system’, which is a preordered set with top element, equipped with a family of covers which satisfy axioms like those for a nearness. They show that the category of such structures is equivalent (in a weak sense) to the category of information systems in the sense of D. Scott equipped with a similar nearness-like structure (they call these ‘stratified information systems’), and also to the category of complete nearness frames. They also describe how to proceed directly from an approximation system to its ‘space of points’, that is the spectrum of the corresponding nearness frame.


54E17 Nearness spaces
06D22 Frames, locales
06F99 Ordered structures
18B30 Categories of topological spaces and continuous mappings (MSC2010)
Full Text: DOI


[1] Banaschewski, B.: Another look at the localic Tychonoff theorem. Comment. Math. Univ. Carol. 29, 647–656 (1988) · Zbl 0667.54009
[2] Banaschewski, B.: Uniform completion in pointfree topology. In: Rodabaugh, S.E., Klement, E.P. (eds.) Topological and Algebraic Structures in Fuzzy Sets, pp. 19–56. Kluwer, Dordrecht (2003) · Zbl 1034.06008
[3] Banaschewski, B.: The real numbers in pointfree topology. Textos de Matemática Série B No. 12. Departmento de Matemática da Universidade de Coimbra (1997)
[4] Banaschewski, B., Hong, S.S., Pultr, S.: On the completion of nearness frames. Quaest. Math. 21, 19–37 (1998) · Zbl 0931.54025
[5] Banaschewski B., Pultr, A.: Cauchy points of uniform and nearness frames. Quaest. Math. 19, 101–127 (1996) · Zbl 0861.54023
[6] Banaschewski, B., Pultr, A.: Remarks on information systems. Preprint (2001)
[7] Bourbaki, N.: General Topology II. Addison-Wesley, Reading, Massachusetts (1966) · Zbl 0145.19302
[8] Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982) · Zbl 0499.54001
[9] Mac Lane, S.: Categories for the Working Mathematician. Springer, Berlin Heidelberg New York (1971) · Zbl 0232.18001
[10] Scott, D.S.: Domains for denotational semantics. In: Nielson, M., Schmidt, E.M. (eds.) Int. Coll. on Automata, Languages, and Programs. Lecture Notes in Computer Science 140, 577–613 (1982) · Zbl 0495.68025
[11] Vickers, S.: Topology via Logic. Cambridge Tracts in Theoretical Computer Science No. 5. Cambridge University Press, Cambridge (1985)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.