Skip to main content
SpringerLink
Log in

A General View of Approximation

  • Original Paper
  • Published:
Applied Categorical Structures Aims and scope Submit manuscript

Abstract

A natural structure modelling approximation is presented and the resulting category is shown to be equivalent with the category of complete nearness frames.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Banaschewski, B.: Another look at the localic Tychonoff theorem. Comment. Math. Univ. Carol. 29, 647–656 (1988)

    MATH  MathSciNet  Google Scholar 

  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)

    Google Scholar 

  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)

    MATH  MathSciNet  Google Scholar 

  5. Banaschewski B., Pultr, A.: Cauchy points of uniform and nearness frames. Quaest. Math. 19, 101–127 (1996)

    MATH  MathSciNet  Google Scholar 

  6. Banaschewski, B., Pultr, A.: Remarks on information systems. Preprint (2001)

  7. Bourbaki, N.: General Topology II. Addison-Wesley, Reading, Massachusetts (1966)

    Google Scholar 

  8. Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)

    MATH  Google Scholar 

  9. Mac Lane, S.: Categories for the Working Mathematician. Springer, Berlin Heidelberg New York (1971)

    MATH  Google Scholar 

  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)

  11. Vickers, S.: Topology via Logic. Cambridge Tracts in Theoretical Computer Science No. 5. Cambridge University Press, Cambridge (1985)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Mathematics, McMaster University, 1280 Main W, Hamilton, Ontario, L8S 4K1, Canada

    B. Banaschewski

  2. MFF University Karlovy, Malostranske nam. 25, CZ-11800, Praha 1, Czech Republic

    A. Pultr

Authors
  1. B. Banaschewski
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. Pultr
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. Pultr.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Banaschewski, B., Pultr, A. A General View of Approximation. Appl Categor Struct 14, 165–190 (2006). https://doi.org/10.1007/s10485-006-9013-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10485-006-9013-z

Key words

Search

Navigation