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 FioreDomain-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 ScienceISSN
09601295Publisher
Cambridge University PressExternal DOI
Issue
5Volume
7Page range
591-618ISBN
0960-1295Department affiliated with
- Informatics Publications
Full text available
- No
Peer reviewed?
- Yes
Legacy Posted Date
2012-02-06Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC