Extensional PERs

Author

Freyd, P. ; Mulry, P. ; Rosolini, G. ; Scott, D.

Author_Institution

Pennsylvania Univ., Philadelphia, PA, USA

fYear

1990

fDate

4-7 Jun 1990

Firstpage

346

Lastpage

354

Abstract

A search is conducted for a class of PERs (partial equivalence relations on the natural numbers) such that the resulting full subcategory has the expected properties of any good category of CPOs: it should be a CCC (Cartesian closed category) and every endomorphism should have a canonical fixed point. Moreover the reflection functor (usually called the lifting operation) should yield a good notion of partial map. The following topics are discussed: conventions, partial-map classifiers, ExPERS, ExPERS as domains, reflectivity of strict maps, multicorreflectivity of strict maps, the extensional natural numbers, domain equations, and intrinsic descriptions

Keywords

equivalence classes; CPOs; Cartesian closed category; ExPERS; canonical fixed point; conventions; domain equations; endomorphism; extensional PER; extensional natural numbers; intrinsic descriptions; lifting operation; multicorreflectivity; natural numbers; partial equivalence relations; partial map; partial-map classifiers; reflection functor; reflectivity; strict maps; Equations; Reflection; Reflectivity; Turing machines;

fLanguage

English

Publisher

ieee

Conference_Titel

Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e

Conference_Location

Philadelphia, PA

Print_ISBN

0-8186-2073-0

Type

conf

DOI

10.1109/LICS.1990.113760

Filename

113760