University of Sussex
Browse

File(s) not publicly available

An enrichment theorem for an axiomatisation of categories of domains and continuous functions

journal contribution
posted on 2023-06-08, 09:53 authored by Marcelo Fiore
Domain-theoretic categories are axiomatised by means of categorical non-order-theoretic requirements on a cartesian closed category equipped with a commutative monad. In this paper we prove an enrichment theorem showing that every axiomatic domain-theoretic category can be endowed with an intensional notion of approximation, the path relation, with respect to which the category Cpo-enriches. Our analysis suggests more liberal notions of domains. In particular, we present a category where the path order is not [omega]-complete, but in which the constructions of domain theory (such as, for example, the existence of uniform fixed-point operators and the solution of domain equations) are available.

History

Publication status

  • Published

Journal

Mathematical Structures in Computer Science

ISSN

09601295

Publisher

Cambridge University Press

Issue

5

Volume

7

Page range

591-618

ISBN

0960-1295

Department affiliated with

  • Informatics Publications

Full text available

  • No

Peer reviewed?

  • Yes

Legacy Posted Date

2012-02-06

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC