Hausdorff coalgebras

DOI10.1007/S10485-020-09597-8zbMATH Open1464.18009arXiv1908.04380OpenAlexW2968188570MaRDI QIDQ2024924FDOQ2024924

Dirk Hofmann, Pedro Nora

Publication date: 4 May 2021

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

Abstract: As composites of constant, (co)product, identity, and powerset functors, Kripke polynomial functors form a relevant class of $mathsfSet$-functors in the theory of coalgebras. The main goal of this paper is to expand the theory of limits in categories of coalgebras of Kripke polynomial functors to the context of quantale-enriched categories. To assume the role of the powerset functor we consider "powerset-like" functors based on the Hausdorff $mathsfV$-category structure. As a starting point, we show that for a lifting of a $mathsfSET$-functor to a topological category $mathsfX$ over $mathsfSet$ that commutes with the forgetful functor, the corresponding category of coalgebras over $mathsfX$ is topological over the category of coalgebras over $mathsfSet$ and, therefore, it is "as complete" but cannot be "more complete". Secondly, based on a Cantor-like argument, we observe that Hausdorff functors on categories of quantale-enriched categories do not admit a terminal coalgebra. Finally, in order to overcome these "negative" results, we combine quantale-enriched categories and topology emph{`a la} Nachbin. Besides studying some basic properties of these categories, we investigate "powerset-like" functors which simultaneously encode the classical Hausdorff metric and Vietoris topology and show that the corresponding categories of coalgebras of "Kripke polynomial" functors are (co)complete.

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

zbMATH Keywords

metric spacecoalgebraHausdorff metriccompact spaceVietoris topology

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (10)

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

This page was built for publication: Hausdorff coalgebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2024924)