Abstract
The problem we consider is that of recognizing a lifting functor in a category, possibly lacking part of the usual structure required to define the partial maps. We solve it in the general case of a category with a terminal object; this indicates that a lifting functor does not depend on having pullbacks in the category. An interesting characterization of lifting is obtained when we specialize our result to categories with finite products.
This approach to partiality seems new in the literature on categories of partial maps, although it is certainly implicit in the computational point of view, and it relates directly to the question of modularity.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Research supported by MURST 40% and by HCM project ‘Typed lamba-calculus’
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
A. Carboni. Categorie di mappe parziali. Riv. Mat. Univ. Parma, 9:373–377, 1984.
P.L. Curien and A. Obtulowicz. Partiality and cartesian categories. Inform. and Comput., 80:50–95, 1989.
R. Di Paola and A. Heller. Dominical categories: recursion theory without elements. Journ. Symb. Logic, 57:594–635, 1986.
Ju.L. Ersov. Theorie der Numerierungen. Zeitschrift fur Math. Log., 19(4):289–388, 1973.
Ju.L. Ersov. Model C of partial continuous functionals. In R.O. Gandy and J.M.E. Hyland, editors, Logic Colloquium '77, pages 455–467. North Holland Publishing Company, 1977.
M.P. Fiore. Axiomatic Domain Theory in Categories of Partial Maps. Cambridge University Press Distinguished Dissertations in Computer Science, 1996.
M. Grandis. Cohesive categories and manifolds. Ann. Mat. Pura Appl. (4), 157:199–244, 1990.
M. Grandis. Cohesive categories and measurable operators. Rend. Accad. Naz. Sci. XL Mem. Mat. (5), 14(1):195–234, 1990.
H.J. Hoenke. On partial algebras. Col. Math. Soc. J. Bolyai, 29:373–412, 1977.
Bart Jacobs. Semantics of weakening and contraction. Ann. Pure Appl. Logic, 69(1):73–106, 1994.
A. Kock. Strong functors and monoidal monads. Arch. Math., 23:113–120, 1972.
E. Moggi.The partial-lambda calculus. Ph.D. Thesis, University of Edinburgh, 1988.
E. Moggi. Notions of computations and monads. Inform. and Comput., 79:95–130, 1992.
A.J. Power. Modularity in denotational semantics. to appear in E.N.T.C.S. 6, 1997.
M. Proietti. Connections between partial maps categories and tripos theory. In Category theory and computer science (Edinburgh, 1987), volume 283 of Lecture Notes in Comput. Sci., pages 254–269. Springer, Berlin, 1987.
E.P. Robinson and G. Rosolini. Categories of partial maps. Inform. and Comput., 79:95–130, 1988.
G. Rosolini. Continuity and effectiveness in topoi. DPhil. Thesis, University of Oxford, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bucalo, A., Rosolini, G. (1997). Lifting. In: Moggi, E., Rosolini, G. (eds) Category Theory and Computer Science. CTCS 1997. Lecture Notes in Computer Science, vol 1290. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026994
Download citation
DOI: https://doi.org/10.1007/BFb0026994
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63455-3
Online ISBN: 978-3-540-69552-3
eBook Packages: Springer Book Archive