The Bicategory-Theoretic Solution of Recursive Domain Equations

DOI10.1016/j.entcs.2007.02.008zbMath1277.68117OpenAlexW2036542851MaRDI QIDQ2864151

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

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

Cites Work

• Two-dimensional monad theory
• Fixed-point constructions in order-enriched categories
• A fixpoint theorem for complete categories
• Cauchy characterization of enriched categories
• Algebraic specification of data types: A synthetic approach
• The Category-Theoretic Solution of Recursive Domain Equations
• On categories generalizing universal domains
• A categorical generalization of Scott domains
• Axiomatic Domain Theory in Categories of Partial Maps
• Introduction to bicategories
• Topical categories of domains
• 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: The Bicategory-Theoretic Solution of Recursive Domain Equations