Information categories

DOI10.1007/BF00880044zbMath0794.18003OpenAlexW4244540398MaRDI QIDQ1320330

Abbas Edalat, Michael B. Smyth

Publication date: 22 August 1994

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00880044

zbMATH Keywords

initial algebraStone spaces\(I\)-categorycategories of domainsinformation categoriesScott information systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Related Items (2)

The connection between initial and unique solutions of domain equations in the partial order and metric approach ⋮ Domains for Computation in Mathematics, Physics and Exact Real Arithmetic

Cites Work

• The largest Cartesian closed category of domains
• Universal profinite domains
• Effectively given domains
• Sequential algorithms on concrete data structures
• The Category-Theoretic Solution of Recursive Domain Equations
• Stable Compactification I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Information categories