Book contents
- Frontmatter
- Contents
- Preface
- Acknowledgments
- Foreword to A Compendium of Continuous Lattices
- Introduction to A Compendium of Continuous Lattices
- O A Primer on Ordered Sets and Lattices
- I Order Theory of Domains
- II The Scott Topology
- III The Lawson Topology
- IV Morphisms and Functors
- V Spectral Theory of Continuous Lattices
- VI Compact Posets and Semilattices
- VII Topological Algebra and Lattice Theory: Applications
- Bibliography
- List of Symbols
- List of Categories
- Index
IV - Morphisms and Functors
Published online by Cambridge University Press: 13 August 2009
- Frontmatter
- Contents
- Preface
- Acknowledgments
- Foreword to A Compendium of Continuous Lattices
- Introduction to A Compendium of Continuous Lattices
- O A Primer on Ordered Sets and Lattices
- I Order Theory of Domains
- II The Scott Topology
- III The Lawson Topology
- IV Morphisms and Functors
- V Spectral Theory of Continuous Lattices
- VI Compact Posets and Semilattices
- VII Topological Algebra and Lattice Theory: Applications
- Bibliography
- List of Symbols
- List of Categories
- Index
Summary
With the exception of certain developments in Chapter II, notably Sections II-2 and II-4, we largely refrained from using category-theoretic language (even when we used its tools in the context of Galois connections). Inevitably, we have to consider various types of functions between continuous lattices, and this is a natural point in our study to use the framework of category theory.
In Section IV-1 we discuss a duality based on the formalism of Galois connections between the categories DCPOG and DCPOD of all dcpos with upper and lower adjoints, respectively, as morphisms. We discuss in particular the categories INF and SUP, whose objects are complete lattices (in both cases) and whose morphisms are functions preserving arbitrary infs (respectively, sups). These categories are dual (IV-1.3). We saw as early as I-2.10 ff. that maps preserving arbitrary infs and directed sups play an important role in our theory. This leads us to consider the subcategory INF↑ of INF. Its dual under the INF–SUP duality is denoted by SUP0; its morphisms are precisely characterized in IV-1.4(1)–(2), but as a category in itself, SUP0 plays a minor role. More important, however, are the full subcategories AL ⊆ CL ⊆ INF↑ and ALop ⊆ CLop ⊆ SUP0, which consist of algebraic and continuous lattices, respectively.
- Type
- Chapter
- Information
- Continuous Lattices and Domains , pp. 264 - 393Publisher: Cambridge University PressPrint publication year: 2003