Hostname: page-component-7c8c6479df-ws8qp Total loading time: 0 Render date: 2024-03-28T21:29:54.555Z Has data issue: false hasContentIssue false

An algebraic approach to categories of partial morphisms

Published online by Cambridge University Press:  12 March 2014

S. T. Stefani*
Affiliation:
Facoltà Di Scienze M. F. N., Università Di Venezia, Venezia, Italy, E-mail: stefani@unive.it

Abstract

In the study of categories whose morphisms display a behaviour similar to that of partial functions, the concept of morphism domain is, obviously, central. In this paper an operation defined on morphisms describes those properties which are related to morphisms being regarded as abstractions of partial functions. This operation allows us to characterise the morphism domains directly, and gives rise to an algebra defined by a simple set of identities. No product-like categorical structures are needed therefore. We also develop the construction of topologies together with the notion of continuous morphism, in order to test the effectiveness of this approach. It is interesting to see how much of the computational character of the morphisms is translated into continuity.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2002

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Paola, R. A. Di and Heller, A., Dominical categories: Recursion theory without elements, this Journal, vol. 52 (1987), pp. 594635.Google Scholar
[2]Heller, A., An existence theorem for recursion categories, this Journal, vol. 55 (1990), pp. 12521268.Google Scholar
[3]Hinman, P. G., Recursion-theoretic hierarchies, Springer-Verlag, Berlin, 1978.CrossRefGoogle Scholar
[4]Jonstone, P. T., Stone spaces, (1982).Google Scholar
[5]MacNeille, H. M., Partially ordered sets, Transactions of the American Mathematical Society, vol. 42 (1937), pp. 416460.CrossRefGoogle Scholar
[6]Montagna, F. and Sorbi, A., Creativeness and completeness of partial recursive operators, this Journal, vol. 54 (1989), pp. 10231041.Google Scholar
[7]Rosolini, G., Continuity and effectiveness in topoi, Ph. d. thesis, Oxford University, Oxford, 1986.Google Scholar
[8]Sambin, G., Intuitionistic formal spaces and their neighbourhood, Logic colloquium '88 (Ferro, R., Bonotto, C., Valentini, S., and Zanardo, A., editors), Studies in Logic and Foundation of Mathematics, North-Holland, Amsterdam, 1989, pp. 261285.Google Scholar
[9]Stefani, S., A relativization mechanism in recursion categories, this Journal, vol. 58 (1993), pp. 12511267.Google Scholar
[10]Stefani, S., Topological aspects of categories of partial morphisms, Rapporte matematico n. 343, Dipartimento di Matematica dell'Università di Siena, Giugno 1998.Google Scholar