Addendum to "Recursively defined metric spaces without contraction" [TCS 380 (1/2) (2007) 143-163]

Abstract In this addendum, we correct some typos and fill a gap in the proof of Theorem 21 of [F. van Breugel, C. Hermida, M. Makkai, J. Worrell. Recursively defined metric spaces without contraction. Theoretical Computer Science 380 (1/2) (2007) 143–163]. We reprove Theorem 21 and fill the gap by Lemmas 2–4 of this paper.

[1]  Reinhold Heckmann,et al.  Probabilistic Domains , 1994, CAAP.

[2]  S. Lane.  Categories for the Working Mathematician , 1971 .

[3]  James Worrell,et al.  Recursively defined metric spaces without contraction , 2007, Theor. Comput. Sci..

[4]  lawa Kanas,et al.  Metric Spaces , 2020, An Introduction to Functional Analysis.

[5]  Yuval Rabani,et al.  Linear Programming , 2007, Handbook of Approximation Algorithms and Metaheuristics.

[6]  F. William Lawvere,et al.  Metric spaces, generalized logic, and closed categories , 1973 .

[7]  James Worrell,et al.  On the Complexity of Computing Probabilistic Bisimilarity , 2012, FoSSaCS.

[8]  Mauro Dell'Amico,et al.  Assignment Problems , 1998, IFIP Congress: Fundamentals - Foundations of Computer Science.

[9]  G. A. Edgar.  Integral, probability, and fractal measures , 1997 .

[10]  K. Parthasarathy,et al.  Probability measures on metric spaces , 1967 .