An algebraic approach to stable domains
type: Item
instance of: scholarly article
title: An algebraic approach to stable domains
zbMATH Open document ID: 0705.18004
DOI: 10.1016/0022-4049(90)90156-C
author: Elsie Sterbin Gottlieb
published in: Journal of Pure and Applied Algebra
publication date: 1990-01-01T00:00:00Z
review text: The category of domains (posets with directed joins) and Scott continuous functions between them has played an important role in the category theoretical study of denotational semantics. Recently, the notion of ``stability'' has received considerable interest, wherein pullbacks are required to exist and stable functions must preserve these. For example, stability plays a key role in J. Y. Girard's theory of coherence spaces in linear logic [\textit{J. Y. Girard}, \textit{Y. Lafont} and \textit{P. Taylor}, Proofs and types (1989; Zbl 0671.68002)]. The paper under review investigates the category of stable domains from the perspective of algebraic theories. A stable domain D is a domain with connected meets, which are required to distribute over directed joins (this is equivalent to \(\downarrow x\) being a continuous lattice for all \(x\in D)\). Stable morphisms not only preserve directed joins, but also the connected meets (equivalently, they have a left multiadjoint). The category of stable domains is shown to be equivalent to the category of algebras for a monad \({\mathcal F}\) defined on the category of locally connected spaces. \({\mathcal F}\) is constructed by looking at filters of connected open sets. Furthermore, the category of stable domains is cartesian closed (this involves consideration of the Berry order \(\sqsubset \underline {\;}\) on functions, where \(f\sqsubset \underline g\) iff whenever \(a\leq b\), we have \(f(a)=f(b)\wedge g(a))\). The article also contains a lengthy introductory section surveying stability theory, which is very informative and provides the reader a good background and perspective on the ideas introduced in the paper.
Mathematics Subject Classification ID: 18C10
Mathematics Subject Classification ID: 06B35
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 18D15
zbMATH DE Number: 4156721
zbMATH Keywords: monad on the category of locally connected spaces
zbMATH Keywords: category of domains
zbMATH Keywords: posets with directed joins
zbMATH Keywords: Scott continuous functions
zbMATH Keywords: stable functions
zbMATH Keywords: category of stable domains
zbMATH Keywords: algebraic theories
zbMATH Keywords: Berry order
reviewed by: K. I. Rosenthal
MaRDI profile type: Publication
cites work: Atomic toposes
cites work: Molecular toposes
cites work: Q3682648
cites work: Q4138104
cites work: Minimal and Optimal Computations of Recursive Programs
cites work: Q3205213
cites work: Q4160405
cites work: Q3741042
cites work: Sequential algorithms on concrete data structures
cites work: Domain theoretic models of polymorphism
cites work: Filter Monads, Continuous Lattices and Closure Systems
cites work: Q3864690
cites work: Some spectra relative to functors
cites work: Categories localement multipresentables
cites work: Categories multialgebriques
cites work: Q3900223
cites work: Multimonads and multimonadic categories
cites work: Q3947811
cites work: Lokal präsentierbare Kategorien. (Locally presentable categories)
cites work: Q3898534
cites work: Π12-logic, Part 1: Dilators
cites work: Normal functors, power series and \(\lambda\)-calculus
cites work: The system \({\mathcal F}\) of variable types, fifteen years later
cites work: Q3942026
cites work: Q3853627
cites work: A topos-theorist looks at dilators
cites work: Continuous categories and exponentiable toposes
cites work: Q3752561
cites work: Cartesian closed categories of algebraic cpos
cites work: Q3812427
cites work: Q3686864
cites work: Q3784065
cites work: Q4732603
cites work: Quantitative domains and infinitary algebras
cites work: Q4693151
cites work: Q3950708
cites work: Order completion monads
cites work: Q3815296
cites work: Q4766044
cites work: Data Types as Lattices
cites work: Q3959414
cites work: Quantitative domains, groupoids and linear logic
full work available at URL: 0022-4049(90)90156-c
OpenAlex ID: W2154851516
description: scientific article; zbMATH DE number 4156721