A Note on Hyperspaces and Terminal Coalgebras

DOI10.1016/S1571-0661(05)80277-4zbMath1127.54302OpenAlexW2090785194MaRDI QIDQ4256321

W. Stephen Watson, Franck Van Breugel

Publication date: 12 July 1999

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

Full work available at URL: https://doi.org/10.1016/s1571-0661(05)80277-4

Mathematics Subject Classification ID

Hyperspaces in general topology (54B20) Metric spaces, metrizability (54E35) Categorical methods in general topology (54B30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (3)

De Bakker-Zucker processes revisited ⋮ Isometries between a metric space and its hyperspace, function space, and space of measures. ⋮ Idempotent probability measures on ultrametric spaces

Cites Work

• Elements of generalized ultrametric domain theory
• Solving reflexive domain equations in a category of complete metric spaces
• Structural induction and coinduction in a fibrational setting
• Terminal coalgebras in well-founded set theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Note on Hyperspaces and Terminal Coalgebras