Kan extensions in effective semantics
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.
KeywordsNatural Transformation Extension Property Effective Operation Continuous Lattice Left Adjoint
Unable to display preview. Download preview PDF.
- [E]Ersov, Ju. Model C of Partial Continuous Functions, in Logic Colloquium 76. Amsterdam: North Holland, 1977.Google Scholar
- [J]Johnstone, P. T. Stone Spaces. Cambridge: Cambridge University Press, 1982.Google Scholar
- [ML]MacLane, S. Categories for the Working Mathematician. New York: Springer-Verlag, 1971.Google Scholar
- [M2]Mulry, P. S. Adjointness in Recursion, Annals of Pure and Applied Logic, 32 (1986).Google Scholar
- [M3]Mulry, P. S. A Categorical Approach to the Theory of Computation. Preprint, 1986.Google Scholar
- [R]Rogers, H. Theory of Recursive Functions and Effective Computability. New York: McGraw-Hill, 1967.Google Scholar
- [S1]Scott, D. Continuous Lattices, in Toposes, Algebraic Geometry and Logic. New York: Springer-Verlag, 1972.Google Scholar
- [S2]Scott, D. Lectures on a Mathematical Theory of Computation. Technical Monograph PRG-19. Oxford University, 1981.Google Scholar