Technical Reports (CIS)

Document Type

Technical Report

Subject Area


Date of this Version

March 1988


University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-88-20.


Almost all of the categories normally used as a mathematical foundation for denotational semantics satisfy a condition known as consistent completeness. The goal of this paper is to explore the possibility of using a different condition - that of coherence - which has its origins in topology and logic. In particular, we concentrate on those posets whose principal ideals are algebraic lattices and whose topologies are coherent. These form a cartesian closed category which has fixed points for domain equations. It is shown that a "universal domain" exists. Since the construction of this domain seems to be of general significance, a categorical treatment is provided and its relationship to other applications discussed.



Date Posted: 21 September 2007