Partial Continuous Functions and Admissible Domain Representations
It is well known that to be able to represent continuous functions between domain representable spaces it is critical that the domain representations of the spaces we consider are dense. In this article we show how to develop a representation theory over a category of domains with morphisms partial continuous functions. The raison d’être for introducing partial continuous functions is that by passing to partial maps, we are free to consider totalities which are not dense. We show that there is a natural subcategory of the category of representable spaces with morphisms representable maps which is Cartesian closed. Finally, we consider the question of effectivity.
KeywordsDomain theory domain representations computability theory computable analysis
Unable to display preview. Download preview PDF.
- [AJ94]Abramsky, S., Jung, A.: Domain Theory. In: Handbook for Logic in Comp. Sci., vol. 3. Clarendon Press, Oxford (1994)Google Scholar
- [Fio94]Fiore, M.: Axiomatic Domain Theory in Categories of Partial Maps, Ph.D. Thesis, University of Edinburgh (1994)Google Scholar
- [Ham05]Hamrin, G.: Admissible Domain Representations of Topological Spaces, U.U.D.M. report 2005:16 (2005)Google Scholar
- [Plo85]Plotkin, G.: Denotational Semantics with Partial Functions, Lecture Notes from the C.S.L.I. Summer School in 1985 (1985)Google Scholar
- [SH01]Stoltenberg-Hansen, V.: Notes on Domain Theory, Lecture notes from the summer school on Proof and System Reliability in Marktoberdorf 2001 (2001)Google Scholar
- [SHT95]Stoltenberg-Hansen, V., Tucker, J.: Effective Algebra. In: Handbook of Logic in Comp. Sci. vol. IV, pp. 357–526. Oxford University Press, Oxford (1995)Google Scholar
- [SLG94]Stoltenberg-Hansen, V., Lindström, I., Griffor, E.: Mathematical Theory of Domains. Cambridge Tracts in Comp. Sci (1994)Google Scholar