@MISC{Fiore93order-enrichmentfor, author = {Marcelo P. Fiore}, title = {Order-Enrichment for Categories of Partial Maps}, year = {1993} }

Bookmark

OpenURL

Abstract

Introduction In (Plotkin 1985) a revitalised approach to domain theory was initiated. Roughly, the idea was to eliminate the bottom from the domains and to keep the functions partially defined. Thus replacing Cppo (the category of small cppos ---posets with a least element and closed under lubs of !-chains--- and continuous functions) with pCpo (the category of small cpos ---posets closed under lubs of !-chains--- and partial continuous functions --- see Subsection 3.1). One important point in the reformulation is the recognition of pCpo Research partially supported by Fundaci'on Antorchas and The British Council grant ARG 2281/14/6, and SERC grant RR30735. as a category of partial maps as, for example, such presentation fits better with standard formulations of recursion theory and it allows a categorical description of data types (via partial cartesian closed categories (Longo and Moggi 1984) with finite coproducts) in the presence of fixed-point operators. Following the main moti