Domain-theoretic categories are axiomatised by means of
requirements on a cartesian closed category equipped with a commutative
paper we prove an enrichment theorem showing that every axiomatic
category can be endowed with an intensional notion of approximation,
path relation, with respect to which the category Cpo-enriches.
Our analysis suggests more liberal notions of domains. In particular,
present a category
where the path order is not ω-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.