scientific article; zbMATH DE number 517040

MaRDI QIDQ4282568zbMATH OpenFDO

Authors Abbas Edalat, Michael B. Smyth

Publication date 2 June 1994

zbMATH Keywords

\(\omega\)-algebraic cpocategories of information systemscpo of morphismsdomain equationsendofunctorsinformation categoryinitial algebraordered hom-setsrecursive specification of types

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55)

Recommendations

• I-categories as a framework for solving domain equations
• Some categorical aspects of information systems and domains
• Information categories
• scientific article; zbMATH DE number 431772
• scientific article; zbMATH DE number 741005

Cited in

(13)

• Information categories
• Some categorical aspects of information systems and domains
• scientific article; zbMATH DE number 431772 (Why is no real title available?)
• scientific article; zbMATH DE number 3889526 (Why is no real title available?)
• scientific article; zbMATH DE number 1522865 (Why is no real title available?)
• scientific article; zbMATH DE number 754427 (Why is no real title available?)
• scientific article; zbMATH DE number 780942 (Why is no real title available?)
• scientific article; zbMATH DE number 927108 (Why is no real title available?)
• Information transformers: category-theoretical structure, informativeness, decision-making problems
• Category-theoretic fibration as an abstraction mechanism in information systems
• I-categories as a framework for solving domain equations
• Generalised information systems capture L-domains
• Remarks on classifications and adjunctions

This page was built for publication:

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