An algebraic approach to stable domains

DOI10.1016/0022-4049(90)90156-CzbMath0705.18004OpenAlexW2154851516MaRDI QIDQ917677

Elsie Sterbin Gottlieb

Publication date: 1990

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(90)90156-c

zbMATH Keywords

algebraic theoriesScott continuous functionsstable functionscategory of domainsBerry ordercategory of stable domainsmonad on the category of locally connected spacesposets with directed joins

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items

On the largest Cartesian closed category of stable domains., \(\mathbb T^\omega\) as a stable universal domain., A logical approach to stable domains, Stone duality and representation of stable domain, A stable universal domain related to ^ω, Two Cartesian closed categories of information algebras, Some reasons for generalising domain theory, On the largest Cartesian closed category of stable domains, Stable domains are generalized topological spaces, On stable domains, A partial solution to an open problem of Amadio and Curien, Domains arising as algebras for powerspace constructions, Cartesian closed stable categories, Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin

Cites Work

• Cartesian closed categories of algebraic cpos
• Order completion monads
• The system \({\mathcal F}\) of variable types, fifteen years later
• Normal functors, power series and \(\lambda\)-calculus
• A topos-theorist looks at dilators
• Atomic toposes
• Categories localement multipresentables
• Molecular toposes
• Categories multialgebriques
• Some spectra relative to functors
• Continuous categories and exponentiable toposes
• Sequential algorithms on concrete data structures
• Quantitative domains and infinitary algebras
• Domain theoretic models of polymorphism
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Filter Monads, Continuous Lattices and Closure Systems
• Π12-logic, Part 1: Dilators
• Data Types as Lattices
• Minimal and Optimal Computations of Recursive Programs
• Quantitative domains, groupoids and linear logic
• Multimonads and multimonadic categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item