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

DOI10.1016/0304-3975(95)00015-OMaRDI QIDQ673143zbMATH OpenFDO

Authors Fabio Alessi, Paolo Baldan, Gianna Bellè

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)

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

Cites work

• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1231447 (Why is no real title available?)
• Connections between two theories of concurrency: Metric spaces and synchronization trees
• Convergence in topology
• Denotational semantics of a parallel object-oriented language
• On the uniqueness of fixed points of endofunctors in a category of complete metric spaces
• Processes and hyperuniverses
• Processes and the denotational semantics of concurrency
• Solving reflexive domain equations in a category of complete metric spaces
• The Category-Theoretic Solution of Recursive Domain Equations
• The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces
• Three metric domains of processes for bisimulation
• Towards a foundation for semantics in complete metric spaces

Cited in

(6)

• A behavioural pseudometric for probabilistic transition systems
• 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

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)