Information categories

DOI10.1007/BF00880044MaRDI QIDQ1320330zbMATH OpenOpenAlexFDO

Authors 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

\(I\)-categorycategories of domainsinformation categoriesinitial algebraScott information systemsStone spaces

Mathematics Subject Classification ID

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

Review text

Information categories are concrete \(I\)-categories in which objects are structured sets of ``tokens and morphisms are relations between tokens. The paper gives a general account on the theory and an interesting analysis of several examples: Stone spaces, Scott domains, SPF domains, and continuous bounded complete domains.

Recommendations

• scientific article; zbMATH DE number 517040
• Some categorical aspects of information systems and domains
• Information systems revisited -- the general continuous case
• I-categories as a framework for solving domain equations
• Continuous information systems

Cites work

• Effectively given domains
• scientific article; zbMATH DE number 3853067 (Why is no real title available?)
• scientific article; zbMATH DE number 3858394 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4083878 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 4123705 (Why is no real title available?)
• scientific article; zbMATH DE number 517039 (Why is no real title available?)
• scientific article; zbMATH DE number 517040 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 3185026 (Why is no real title available?)
• scientific article; zbMATH DE number 3195417 (Why is no real title available?)
• Sequential algorithms on concrete data structures
• Stable Compactification I
• The Category-Theoretic Solution of Recursive Domain Equations
• The largest Cartesian closed category of domains
• Universal profinite domains

Cited in

(7)

• The connection between initial and unique solutions of domain equations in the partial order and metric approach
• scientific article; zbMATH DE number 3982548 (Why is no real title available?)
• scientific article; zbMATH DE number 517040 (Why is no real title available?)
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• scientific article; zbMATH DE number 927108 (Why is no real title available?)
• Categorification of Negative Information using Enrichment
• Remarks on classifications and adjunctions

This page was built for publication: Information categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1320330)