Hausdorff coalgebras
From MaRDI portal
Publication:2024924
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)
Abstract: As composites of constant, (co)product, identity, and powerset functors, Kripke polynomial functors form a relevant class of -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 -category structure. As a starting point, we show that for a lifting of a -functor to a topological category over that commutes with the forgetful functor, the corresponding category of coalgebras over is topological over the category of coalgebras over 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.
Recommendations
Cites work
- scientific article; zbMATH DE number 426304 (Why is no real title available?)
- scientific article; zbMATH DE number 3940199 (Why is no real title available?)
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- scientific article; zbMATH DE number 42114 (Why is no real title available?)
- scientific article; zbMATH DE number 2172972 (Why is no real title available?)
- scientific article; zbMATH DE number 821282 (Why is no real title available?)
- scientific article; zbMATH DE number 851999 (Why is no real title available?)
- scientific article; zbMATH DE number 3213310 (Why is no real title available?)
- scientific article; zbMATH DE number 3234211 (Why is no real title available?)
- scientific article; zbMATH DE number 2222235 (Why is no real title available?)
- (Metric) bisimulation games and real-valued modal logics for coalgebras
- A Cook's tour of the finitary non-well-founded sets
- A Generalized Cantor Theorem
- A fixpoint theorem for complete categories
- A van Benthem theorem for fuzzy modal logic
- Abstract and concrete categories: the joy of cats
- An introduction to quantaloid-enriched categories
- Automata, Languages and Programming
- Cartesian closed exact completions in topology
- Coalgebraic behavioral metrics
- Completely Distributive Complete Lattices
- Constructive complete distributivity. I
- Continuous Lattices and Domains
- Convergence and quantale-enriched categories
- Enriched Stone-type dualities
- Extending set functors to generalised metric spaces
- Finite preorders and topological descent. I
- Finite preorders and topological descent. II: étale descent
- Lawvere completion and separation via closure
- Limits in categories of Vietoris coalgebras
- Metric spaces, generalized logic, and closed categories
- Monoidal topology. A categorical approach to order, metric, and topology
- On the categorical meaning of Hausdorff and Gromov distances. I.
- On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
- On the logic of generalised metric spaces
- One hundred years since the introduction of the set distance by Dimitrie Pompeiu
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Ordered topological structures
- Probabilistic metric spaces as enriched categories
- Quantales and continuity spaces
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Shorter Notes: An Empty Inverse Limit
- Stone coalgebras
- Terminal coalgebras in well-founded set theory
- Topological theories and closed objects
- Topologies on Spaces of Subsets
- Triquotient maps via ultrafilter convergence
- Universal coalgebra: A theory of systems
- Up-to techniques for behavioural metrics via fibrations
- ``Hausdorff distance via conical cocompletion
Cited in
(16)- Kantorovich functors and characteristic logics for behavioural distances
- De Bakker-Zucker processes revisited
- Steenrod coalgebras
- The syntactic side of autonomous categories enriched over generalised metric spaces
- On the categorical behaviour of \(V\)-groups
- Families parametrized by coalgebras
- ``Hausdorff distance via conical cocompletion
- Up-to techniques for behavioural metrics via fibrations
- Torsion theories and coverings of \(V\)-groups
- On presheaf submonads of quantale-enriched categories
- Final coalgebras and the Hennessy-Milner property
- Extensions of functors from Set to \({\mathcal V}\)-cat
- Generalised powerlocales via relation lifting
- Extending set functors to generalised metric spaces
- Duality theory for enriched Priestley spaces
- Limits in categories of Vietoris coalgebras
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)
