A fixed-point theorem in a category of compact metric spaces

DOI10.1016/0304-3975(95)00015-OzbMath0873.68126MaRDI QIDQ673143

Fabio Alessi, Gianna Bellè, Paolo Baldan

Publication date: 28 February 1997

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

zbMATH Keywords

endofunctors

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items

The category-theoretic solution of recursive metric-space equations ⋮ A characterization of distance between 1-bounded compact ultrametric spaces through a universal space ⋮ Sets with structure, mappings and fixed point property: fixed point structures ⋮ A behavioural pseudometric for probabilistic transition systems

Cites Work

• Unnamed Item
• Unnamed Item
• Solving reflexive domain equations in a category of complete metric spaces
• Denotational semantics of a parallel object-oriented language
• On the uniqueness of fixed points of endofunctors in a category of complete metric spaces
• The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces
• Towards a foundation for semantics in complete metric spaces
• Convergence in topology
• Connections between two theories of concurrency: Metric spaces and synchronization trees
• The Category-Theoretic Solution of Recursive Domain Equations
• Processes and the denotational semantics of concurrency
• Processes and hyperuniverses
• Three metric domains of processes for bisimulation