Answers are grounded in this paper and cite their sources.
One natural way to generalise domain theory is to replace partially ordered sets by categories. This kind of generalisation has recently found application in the study of concurrency. An outline is given of the elegant mathematical foundations that have been developed. This is specialised to give a construction of cartesian closed categories of domains, which throws light on standard presentations of domain theory.
No takes yet. Share an insight, caveat, or question.
Martin Hyland (2010) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: