Recursively defined metric spaces without contraction

DOI10.1016/J.TCS.2007.02.059MaRDI QIDQ2373743zbMATH OpenOpenAlexFDO

Authors Claudio Hermida, James Worrell, Franck van Breugel, Michael Makkai

Publication date 16 July 2007

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

Full work available at URL https://doi.org/10.1016/j.tcs.2007.02.059

zbMATH Keywords

accessible categoryaccessible functorbehavioural pseudometricKantorovich metricmetric spaceprobabilistic transition system

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Addendum to ``Recursively defined metric spaces without contraction
• Recursive quasi-metric spaces.
• Countable metric spaces without isolated points
• scientific article; zbMATH DE number 3967423
• A complete metric space without non-trivial separable Lipschitz retracts
• scientific article; zbMATH DE number 3992398
• Metric space with fixed point property with respect to contractions
• Reconstructing compact metrizable spaces
• scientific article; zbMATH DE number 5119064
• scientific article; zbMATH DE number 4161668

Cites work

• A behavioural pseudometric for probabilistic transition systems
• Accessible Categories: The Foundations of Categorical Model Theory
• Automata, Languages and Programming
• Bisimulation for labelled Markov processes
• Bisimulation for probabilistic transition systems: A coalgebraic approach
• Bisimulation through probabilistic testing
• CONCUR 2003 -- concurrency theory. 14th international conference, Marseille, France, September 3--5, 2003. Proceedings
• CONCUR 2005 – Concurrency Theory
• De Bakker-Zucker processes revisited
• Denotational semantics of a parallel object-oriented language
• Elements of generalized ultrametric domain theory
• Extension of range of functions
• scientific article; zbMATH DE number 4065241 (Why is no real title available?)
• scientific article; zbMATH DE number 3709584 (Why is no real title available?)
• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• scientific article; zbMATH DE number 19484 (Why is no real title available?)
• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 3582349 (Why is no real title available?)
• scientific article; zbMATH DE number 1222559 (Why is no real title available?)
• scientific article; zbMATH DE number 1231447 (Why is no real title available?)
• scientific article; zbMATH DE number 1231456 (Why is no real title available?)
• scientific article; zbMATH DE number 1361128 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 1107487 (Why is no real title available?)
• scientific article; zbMATH DE number 1113628 (Why is no real title available?)
• scientific article; zbMATH DE number 2038772 (Why is no real title available?)
• scientific article; zbMATH DE number 1531624 (Why is no real title available?)
• scientific article; zbMATH DE number 2086650 (Why is no real title available?)
• scientific article; zbMATH DE number 1864592 (Why is no real title available?)
• scientific article; zbMATH DE number 1456958 (Why is no real title available?)
• scientific article; zbMATH DE number 1450188 (Why is no real title available?)
• scientific article; zbMATH DE number 3245885 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Liminf convergence in \(\Omega\)-categories
• Metrics for labelled Markov processes
• On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
• On the structure of categories of coalgebras
• On the uniqueness of fixed points of endofunctors in a category of complete metric spaces
• Processes and the denotational semantics of concurrency
• Solving reflexive domain equations in a category of complete metric spaces
• Structural induction and coinduction in a fibrational setting
• Subequalizers
• Sur une méthode de métrisation complète de certains espaces d'ensembles compacts
• Terminal coalgebras in well-founded set theory
• 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
• Universal coalgebra: A theory of systems

Cited in

(21)

• Banach's fixed-point theorem as a base for data-type equations
• A note on distances between probabilistic and quantum distributions
• On finitary functors and their presentations
• Final coalgebras in accessible categories
• A pseudometric in supervisory control of probabilistic discrete event systems
• Addendum to ``Recursively defined metric spaces without contraction
• scientific article; zbMATH DE number 1254415 (Why is no real title available?)
• Approximating Markov processes through filtration
• scientific article; zbMATH DE number 7559483 (Why is no real title available?)
• Characteristic logics for behavioural hemimetrics via fuzzy lax extensions
• Distances between states and between predicates
• On finitary functors
• Approximation in quantale-enriched categories
• The complexity of computing a bisimilarity pseudometric on probabilistic automata
• Bisimulation for Markov decision processes through families of functional expressions
• scientific article; zbMATH DE number 6402081 (Why is no real title available?)
• Explainability of probabilistic bisimilarity distances for labelled Markov chains
• Sum and tensor of quantitative effects
• A fixed-point theorem in a category of compact metric spaces
• The Kantorovich metric in computer science: a brief survey
• Varieties of quantitative algebras presented by 1-basic monads

This page was built for publication: Recursively defined metric spaces without contraction

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