A cartesian closed subcategory of CONT which contains all continuous domains

Authors:
Zhongqiang Yang
Affiliations:
Department of Mathematics, Shantou University, Shantou, Guangdong 515063, PR China
Venue:
Information Sciences—Informatics and Computer Science: An International Journal
Year:
2004

Citing 2
Cited 0

Domain theory

Handbook of logic in computer science (vol. 3)
New Results on Hierarchies of Domains

Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics

Quantified Score

Hi-index	0.00

Visualization

Abstract

Let CD be the category of all continuous domains and all mappings which preserve directed sups and the way-below relation. That is, a mapping f : P → Q is a morphism of CD if and only if f(sup D) = sup f(D) for any directed set D ⊂ P and f(x) ℓ f(y) if x ℓ y for any x, y ∈ P. We shall prove that the category CD is cartesian closed.