A characterization of distance between 1-bounded compact ultrametric spaces through a universal space

DOI10.1016/S0304-3975(96)00335-0zbMath0908.68099MaRDI QIDQ1127530

Paolo Baldan, Fabio Alessi

Publication date: 13 August 1998

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

zbMATH Keywords

compact ultrametric spaces

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (2)

The Banaschewski compactification revisited ⋮ A category of compositional domain-models for separable Stone spaces.

Cites Work

• Elements of generalized ultrametric domain theory
• A fixed-point theorem in a category of compact metric spaces
• Solving reflexive domain equations 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
• The Category-Theoretic Solution of Recursive Domain Equations
• Processes and hyperuniverses
• Unnamed Item
• Unnamed Item

This page was built for publication: A characterization of distance between 1-bounded compact ultrametric spaces through a universal space