Order-Enrichment for Categories of Partial Maps

Order-Enrichment for Categories of Partial Maps (1993)

by Marcelo P. Fiore

Citations:

3 - 1 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Order-Enrichment for Categories of Partial Maps	user correction - Legacy Corrections
AUTHOR NAME	Marcelo P. Fiore	SVM HeaderParse 0.1
AUTHOR AFFIL	Synopsis	SVM HeaderParse 0.2
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	user correction - Legacy Corrections
YEAR	1993	user correction - Legacy Corrections
CITATIONS	10 found	ParsCit 1.0