Cartesian closed categories of algebraic cpos

DOI10.1016/0304-3975(90)90124-ZzbMath0693.18004MaRDI QIDQ584381

Achim Jung

Publication date: 1990

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

principal idealalgebraic function spacecartesian closed categoriescartesian closed full subcategoriescategory of algebraic cposprofinite domains

Mathematics Subject Classification ID

Partial orders, general (06A06) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items

A logical approach to stable domains ⋮ Stone duality and representation of stable domain ⋮ Some new intrinsic topologies on complete lattices and the Cartesian closedness of the category of strongly continuous lattices ⋮ Cartesian closed categories of \(F\mathcal Z\)-domains ⋮ Unnamed Item ⋮ An algebraic approach to stable domains ⋮ Quotients of \(L\)-domains ⋮ The largest cartesian closed category of stable domains ⋮ Natural congruences and isomorphism theorems for directed complete partially ordered sets ⋮ The logic of structures ⋮ A characterization of the least-fixed-point operator by dinaturality ⋮ Directed complete poset congruences ⋮ Some hierarchies of QCB₀-spaces ⋮ Disjunctive systems and L-Domains ⋮ Locally complete consistent F-augmented contexts: a category-theoretic representation of algebraic L-domains ⋮ Representation of bifinite domains by BF-closure spaces

Cites Work

• The largest Cartesian closed category of domains
• The lambda calculus, its syntax and semantics
• Categories of embeddings
• A Powerdomain Construction
• Unnamed Item
• Unnamed Item