Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Mathematical Foundations of Programming Semantics

MFPS 1987: Mathematical Foundations of Programming Language Semantics pp 121–132Cite as

Kan extensions in effective semantics

  • Part I Categorical And Algebraic Methods
  • Conference paper
  • First Online:

  • 185 Accesses

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

Abstract

An extension property for maps between domains is generalized to a categorical setting where the notions of adjoint and Kan extension are utilized to prove an extension property for functors. The results are used in an effective setting to provide a new characterization for certain computable mappings.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ersov, Ju. Model C of Partial Continuous Functions, in Logic Colloquium 76. Amsterdam: North Holland, 1977.

    Google Scholar 

  2. Johnstone, P. T. Stone Spaces. Cambridge: Cambridge University Press, 1982.

    Google Scholar 

  3. MacLane, S. Categories for the Working Mathematician. New York: Springer-Verlag, 1971.

    Google Scholar 

  4. Mulry, P. S. Generalized Banach-Mazur Functionals in the Topos of Recursive Sets, Journal of Pure and Applied Algebra, 26 (1982), 71–83.

    Article  Google Scholar 

  5. Mulry, P. S. Adjointness in Recursion, Annals of Pure and Applied Logic, 32 (1986).

    Google Scholar 

  6. Mulry, P. S. A Categorical Approach to the Theory of Computation. Preprint, 1986.

    Google Scholar 

  7. Rogers, H. Theory of Recursive Functions and Effective Computability. New York: McGraw-Hill, 1967.

    Google Scholar 

  8. Scott, D. Continuous Lattices, in Toposes, Algebraic Geometry and Logic. New York: Springer-Verlag, 1972.

    Google Scholar 

  9. Scott, D. Lectures on a Mathematical Theory of Computation. Technical Monograph PRG-19. Oxford University, 1981.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Colgate University, 13346, Hamilton, New York

    Philip S. Mulry

Authors
  1. Philip S. Mulry
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. Main A. Melton M. Mislove D. Schmidt

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mulry, P.S. (1988). Kan extensions in effective semantics. In: Main, M., Melton, A., Mislove, M., Schmidt, D. (eds) Mathematical Foundations of Programming Language Semantics. MFPS 1987. Lecture Notes in Computer Science, vol 298. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19020-1_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-19020-1_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19020-2

  • Online ISBN: 978-3-540-38920-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation