I-categories as a framework for solving domain equations

DOI10.1016/0304-3975(93)90056-YMaRDI QIDQ685401zbMATH OpenFDO

Authors Abbas Edalat, Michael B. Smyth

Publication date 20 December 1993

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

zbMATH Keywords

information systemsinitial algebraScott domains\(I\)-categorycomplete partial ordercontinuous partial ordercontinuous Scott domainsdomain equationsfixed-point completion

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Ordered structures (06F99) Semantics in the theory of computing (68Q55) Applications of universal algebra in computer science (08A70) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Recommendations

• The bicategory-theoretic solution of recursive domain equations
• A categorical approach to the theory of equations
• Solving equation systems in ω-categorical algebras
• scientific article; zbMATH DE number 3319584
• scientific article; zbMATH DE number 4077517
• scientific article; zbMATH DE number 4085874
• Solving reflexive domain equations in a category of complete metric spaces
• scientific article; zbMATH DE number 2222876
• The category-theoretic solution of recursive metric-space equations
• scientific article; zbMATH DE number 431772

Cites work

• 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 3967883 (Why is no real title available?)
• scientific article; zbMATH DE number 3700811 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 517040 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• scientific article; zbMATH DE number 3185026 (Why is no real title available?)
• Continuous information systems
• Effectively given domains
• Sequential algorithms on concrete data structures
• The Category-Theoretic Solution of Recursive Domain Equations
• Universal profinite domains

Cited in

(6)

• Three dual ontologies
• Solving reflexive domain equations in a category of complete metric spaces
• scientific article; zbMATH DE number 1678359 (Why is no real title available?)
• Games and full abstraction for FPC.
• scientific article; zbMATH DE number 431772 (Why is no real title available?)
• scientific article; zbMATH DE number 517040 (Why is no real title available?)

This page was built for publication: I-categories as a framework for solving domain equations

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