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

DOI10.1016/0304-3975(95)00015-OzbMATH Open0873.68126MaRDI QIDQ673143FDOQ673143

Authors: Fabio Alessi, Paolo Baldan, Gianna Bellè 

Publication date: 28 February 1997

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

Recommendations

• The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces
• scientific article; zbMATH DE number 1254415
• On the uniqueness of fixed points of endofunctors in a category of complete metric spaces
• Recursively defined metric spaces without contraction

zbMATH Keywords

endofunctors

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• The Category-Theoretic Solution of Recursive Domain Equations
• Solving reflexive domain equations in a category of complete metric spaces
• Processes and the denotational semantics of concurrency
• Convergence in topology
• Title not available (Why is that?)
• 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
• Connections between two theories of concurrency: Metric spaces and synchronization trees
• Processes and hyperuniverses
• Three metric domains of processes for bisimulation
• Denotational semantics of a parallel object-oriented language

Cited In (6)

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

This page was built for publication: A fixed-point theorem in a category of compact metric spaces

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