Abstract
Part II is devoted to the development of logical frameworks for stable domains (dl-domains). There are many categories of domains with stable domains as objects and certain kinds of stable functions as morphisms. But they are scattered in the literature. To provide a background knowledge for the work of Part II, we give a survey of such categories (some of them are new) and indicates relationships among them (if possible). We actually present more categories than that are used later, so as to make this chapter a useful reference for categories of stable domains. These categories have been discovered with different motivations. Due to the lack of space we can only explain very briefly the motivations. However, we will try to provide enough information about the categories themselves, and leave it to interested readers to search into the relevant literatures listed in the bibliography for a complete account of applications of stable theories.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer Science+Business Media New York
About this chapter
Cite this chapter
Zhang, GQ. (1991). Categories. In: Logic of Domains. Progress in Theoretical Computer Science. Birkhäuser, Boston, MA. https://doi.org/10.1007/978-1-4612-0445-9_6
Download citation
DOI: https://doi.org/10.1007/978-1-4612-0445-9_6
Publisher Name: Birkhäuser, Boston, MA
Print ISBN: 978-1-4612-6763-8
Online ISBN: 978-1-4612-0445-9
eBook Packages: Springer Book Archive