Hausdorff coalgebras

DOI10.1007/s10485-020-09597-8zbMath1464.18009arXiv1908.04380OpenAlexW2968188570MaRDI QIDQ2024924

Dirk Hofmann, Pedro Nora

Publication date: 4 May 2021

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1908.04380

zbMATH Keywords

coalgebraHausdorff metricVietoris topologymetric spacecompact space

Mathematics Subject Classification ID

Topological spaces with richer structures (54E99) Semantics in the theory of computing (68Q55) Categorical methods in general topology (54B30) Preorders, orders, domains and lattices (viewed as categories) (18B35) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Enriched categories (over closed or monoidal categories) (18D20) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (7)

Torsion theories and coverings of \(V\)-groups ⋮ On presheaf submonads of quantale-enriched categories ⋮ Kantorovich functors and characteristic logics for behavioural distances ⋮ The syntactic side of autonomous categories enriched over generalised metric spaces ⋮ Up-to techniques for behavioural metrics via fibrations ⋮ On the categorical behaviour of \(V\)-groups ⋮ Duality theory for enriched Priestley spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An introduction to quantaloid-enriched categories
• Probabilistic metric spaces as enriched categories
• Stone coalgebras
• On the categorical meaning of Hausdorff and Gromov distances. I.
• Lawvere completion and separation via closure
• Quantales and continuity spaces
• Universal coalgebra: A theory of systems
• Enriched Stone-type dualities
• Finite preorders and topological descent. I
• Finite preorders and topological descent. II: étale descent
• Cartesian closed exact completions in topology
• Terminal coalgebras in well-founded set theory
• Topological theories and closed objects
• Ordered topological structures
• A fixpoint theorem for complete categories
• Monoidal Topology
• One Hundred Years Since the Introduction of the Set Distance by Dimitrie Pompeiu
• A Cook's Tour of the Finitary Non-Well-Founded Sets
• Limits in categories of Vietoris coalgebras
• Constructive complete distributivity. I
• 'Hausdorff distance' via conical cocompletion
• A Generalized Cantor Theorem
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Metric spaces, generalized logic, and closed categories
• On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
• Triquotient maps via ultrafilter convergence
• Convergence and quantale-enriched categories
• Extending set functors to generalised metric spaces
• Continuous Lattices and Domains
• Up-To Techniques for Behavioural Metrics via Fibrations
• (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras
• A van Benthem Theorem for Fuzzy Modal Logic
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Shorter Notes: An Empty Inverse Limit
• Automata, Languages and Programming
• On the Logic of Generalised Metric Spaces
• Topologies on Spaces of Subsets
• Completely Distributive Complete Lattices

This page was built for publication: Hausdorff coalgebras