## Enrichment and Representation Theorems for Categories of Domains and Continuous Functions (1996)

Citations: | 7 - 5 self |

### BibTeX

@MISC{Fiore96enrichmentand,

author = {Marcelo P. Fiore},

title = {Enrichment and Representation Theorems for Categories of Domains and Continuous Functions},

year = {1996}

}

### OpenURL

### Abstract

This paper studies the notions of approximation and passage to the limit in an axiomatic setting. Our axiomatisation is subject to the following criteria: the axioms should be natural (so that they are available in as many contexts as possible) and non-order-theoretic (so that Research supported by SERC grant RR30735 and EC project Programming Language Semantics and Program Logics grant SC1000 795 they explain the order-theoretic structure). Our aim is 1. to provide a justification of Scott's original consideration of ordered structures, and 2. to deepen our understanding of the notion of passage to the limit