Skip to main content
SpringerLink
Log in

Galois connections

  • Conference paper
  • First Online:
Mathematical Foundations of Programming Semantics (MFPS 1985)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 239))

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Birkhoff, Lattice Theory. Amer. Math. Soc. Collog. Publ. 25 (1940).

    Google Scholar 

  2. G.C.L. Brümmer, Topological functors and structure functors. Springer Lecture Notes Math. 540 (1976) 109–135.

    Google Scholar 

  3. C.J. Everett, Closure operators and Galois theory in lattices. Trans. Amer. Math. Soc. 55 (1944) 514–525.

    Google Scholar 

  4. H. Herrlich, Factorizations of morphisms f: B → FA. Math. Z. 114 (1970) 180–186.

    Google Scholar 

  5. J.R. Isbell, Top and its adjoint relatives. Gen. Topology and its Relations to Modern Analysis and Algebra (Prague 1971), 143–154.

    Google Scholar 

  6. A. Melton and G.E. Strecker, Structures supporting Galois connections. Preprint.

    Google Scholar 

  7. S. Mac Lane, Categories for the Working Mathematician. Springer-Verlag 1971.

    Google Scholar 

  8. O. Ore, Galois connexions. Trans. Amer. Math. Soc. 55 (1944) 493–513.

    Google Scholar 

  9. G. Pickert, Bemerkungen über Galois-Verbindungen. Archiv Math. 3 (1952) 285–289.

    Google Scholar 

  10. D. Pumplün, Kategorien Vorlesungsskript Univ. Münster 1972.

    Google Scholar 

  11. J. Schmidt, Beiträge zur Filtertheorie II. Math. Nachr. 10 (1953) 197–232.

    Google Scholar 

  12. O. Wyler, On the categories of general topology and topological algebra. Archiv Math. 22 (1971) 7–17.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Mathemematik und Informatik, Universität Bremen, 2800, Bremen, Fed. Red. Germany

    Horst Herrlich

  2. Matematicky Ustav, Karlovy University, Sokolovska 83, 18600, Praha 8 Karlin, CSSR

    Miroslav Hušek

Authors
  1. Horst Herrlich
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Miroslav Hušek
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Austin Melton

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Herrlich, H., Hušek, M. (1986). Galois connections. In: Melton, A. (eds) Mathematical Foundations of Programming Semantics. MFPS 1985. Lecture Notes in Computer Science, vol 239. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16816-8_28

Download citation

  • DOI: https://doi.org/10.1007/3-540-16816-8_28

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16816-4

  • Online ISBN: 978-3-540-44861-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation