The bicategory-theoretic solution of recursive domain equations

DOI10.1016/J.ENTCS.2007.02.008MaRDI QIDQ2864151zbMATH OpenOpenAlexFDO

Authors Gian Luca Cattani, Marcelo P. Fiore

Publication date 6 December 2013

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

Full work available at URL https://doi.org/10.1016/j.entcs.2007.02.008

zbMATH Keywords

domain theoryalgebraic completenessrecursive domain equationsalgebraic compactnessaxiomatic domain theorybicategorical limit/colimit coincidencebicategory theory

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55) Preadditive, additive categories (18E05)

Recommendations

• The category-theoretic solution of recursive metric-space equations
• The category-theoretic solution of recursive program schemes
• Algebra and Coalgebra in Computer Science
• scientific article; zbMATH DE number 3940731
• A convenient category of domains

Cites work

• scientific article; zbMATH DE number 431762 (Why is no real title available?)
• scientific article; zbMATH DE number 2134022 (Why is no real title available?)
• scientific article; zbMATH DE number 3856436 (Why is no real title available?)
• scientific article; zbMATH DE number 3933292 (Why is no real title available?)
• scientific article; zbMATH DE number 3653565 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 1086660 (Why is no real title available?)
• scientific article; zbMATH DE number 1392305 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• A categorical generalization of Scott domains
• A fixpoint theorem for complete categories
• Algebraic specification of data types: A synthetic approach
• Axiomatic Domain Theory in Categories of Partial Maps
• Categorical domain theory: Scott topology, powercategories, coherent categories
• Cauchy characterization of enriched categories
• Fixed-point constructions in order-enriched categories
• Introduction to bicategories
• On categories generalizing universal domains
• The Category-Theoretic Solution of Recursive Domain Equations
• Topical categories of domains
• Two-dimensional monad theory

Cited in

(4)

• I-categories as a framework for solving domain equations
• The category-theoretic solution of recursive metric-space equations
• Relating two approaches to coinductive solution of recursive equations
• Solving reflexive domain equations in a category of complete metric spaces

This page was built for publication: The bicategory-theoretic solution of recursive domain equations

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