On the Logic of Generalised Metric Spaces

DOI10.1007/978-3-319-40370-0_9zbMath1476.03088OpenAlexW2494854716MaRDI QIDQ5739454

Octavian Babus, Alexander Kurz

Publication date: 15 July 2016

Published in: Coalgebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01446037/file/418352_1_En_9_Chapter.pdf

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Categories of topological spaces and continuous mappings (18F60)

Related Items (2)

Hausdorff coalgebras ⋮ Extending set functors to generalised metric spaces

Cites Work

• Elements of generalized ultrametric domain theory
• A universal characterization of the double powerlocale
• Monads for which structures are adjoint to units
• The double power monad is the composite power monad
• Localic completion of generalized metric spaces II: Powerlocales
• Constructive complete distributivity. I
• Metric spaces, generalized logic, and closed categories
• A basic distributive law
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the Logic of Generalised Metric Spaces