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

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

Theoretical Computer Science（2013）

引用 2|浏览25

暂无评分

摘要

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.

查看译文

关键词

Kantorovich functor,Mean-value algebra,Metric matching lemma

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要